Panagiotis (Pete) Manolios
Khoury College of Computer and Information Sciences
Northeastern University

Books

Dissertation

Edited Proceedings

Recent Publications

ACL2 Proof Scripts