Anna Philippou

Anna Philippou

Books

Co-authored books and collections

Books that list Anna Philippou among their authors but not as the lead author: co-written works, collections and compilations.

Formal Techniques for Distributed Objects, Components, and SystemsMohammad Reza Mousavi

Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi · 2022

FM 2016 : Formal MethodsJohn Fitzgerald

FM 2016 : Formal Methods

John Fitzgerald · 2016