2 works on record
FM 2016 : Formal Methods
Formal Techniques for Distributed Objects, Components, and Systems