NASA Formal Methods 2024 (series) / Michael Fisher
![Michael Fisher](https://conf.researchr.org/getProfileImage/michaelfisher/bcaa1cb0-41f7-4df0-9939-33d25f93da2e/small.jpg?1711571257000)
Registered user since Tue 6 Jul 2021
Name:Michael Fisher
Country:United Kingdom
Affiliation:University of Manchester, UK
Personal website: https://web.cs.manchester.ac.uk/~michael/
Contributions
NASA Formal Methods 2024-profile
View general profile
View general profile