Title: Lectures on formal methods and performance analysis
First published: 2001
Subjects: Formal methods (Computer science), Congresses, Computer science
LC classification: QA76.9.F67 E34 2000, QA76.9.F67 E34 2000