Title: Formal Methods and Software Engineering (vol. # 3785)
Subjects: Logic design, Computer science, Software engineering, Formal methods (Computer science), Congresses