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

Automated Specification Analysis Using an Interactive Theorem Prover


Harsh Chamarthi and Panagiotis Manolios.
FMCAD, 2011.

Abstract

Coming soon