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

Books

Dissertation

Edited Proceedings

Recent Publications

ACL2 Proof Scripts