NASA Formal Methods 2023 (series) / Michele Sevegnani
![Michele Sevegnani](https://conf.researchr.org/getProfileImage/michelesevegnani/2a1a3a3e-9a58-424a-a0e7-ab5f8b513333/small.jpg?1711569743000)
Registered user since Thu 30 Mar 2023
Name:Michele Sevegnani
Country:United Kingdom
Affiliation:University of Glasgow
Personal website: https://www.dcs.gla.ac.uk/~michele/
X (Twitter): https://x.com/michele_seve
Research interests:Formal methods, bigraphs, stochastic processes, spatial logics
Contributions
NASA Formal Methods 2023-profile
View general profile
View general profile