4 works on record
FM 2012: Formal Methods
Software Engineering and Formal Methods
Verified Software : Theories, Tools and Experiments
Fundamental Approaches to Software Engineering
