NASA Formal Methods 2023 (series) / Michele Sevegnani
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