Title: Lectures on formal methods and performance analysis
Subjects: Formal methods (Computer science), Congresses