Home
News
Research
Teaching
Software and Tools
Students
Professional Service
Contact Info
CV
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