Home
News
Research
Teaching
Software and Tools
Students
Professional Service
Contact Info
CV
Panagiotis (Pete) Manolios
College of Computer and Information Science
Northeastern University
Verifying Pipelines with BAT
Panagiotis Manolios and Sudarshan Srinivasan.
Design and Verification of Microprocessor Systems for High-Assurance Applications
, © Springer
PDF
© Springer