Amy Felty

Amy Felty

Professor of Computer Science, University of Ottawa
Email yang diverifikasi di eecs.uottawa.ca
Dirujuk 3058 kali
Logical Foundations of Computer Science Formal Methods Theorem Proving Logical Frameworks