Title: Formal methods for performance evaluation
First published: 2007
Subjects: Congresses, Formal methods (Computer science), Verification, Integrated circuits