Formal Techniques for Distributed Objects, Components, and SystemsMohammad Reza Mousavi, Anna Philippou · First published 2022Open the Tome
FM 2016 : Formal MethodsJohn Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou · First published 2016Open the Tome
