Anna Philippou profile picture

Anna Philippou

Is this your author profile? Create an account to customize it!

Stand Alone

FM 2016: Formal Methods
Formal Techniques for Distributed Objects, Components, and Systems 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
Anna Philippou — Books & Biography | Menrva Books | MenrvaBooks