1 Pete's Webpage
Panagiotis (Pete) Manolios
Khoury College of Computer Sciences
Northeastern University

Books

Dissertation

Edited Proceedings

Recent Publications

ACL2 Proof Scripts