William M. Farmer

William M. Farmer

Professor of Computer Science and Software Engineering, McMaster University
在 mcmaster.ca 的电子邮件经过验证
被引用次数：2971
Logic Mathematical Knowledge Management Mechanized Mathematics Formal Methods
Jacques Carette

Jacques Carette

Associate Professor of Computer Science and Software Engineering, McMaster University
在 mcmaster.ca 的电子邮件经过验证
被引用次数：1651
Metaprogramming Mechanized Mathematics Programming Languages Software Engineering