NASA Formal Methods 2024
Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United States
NASA Formal Methods 2024 (series) / David Parker
David Parker

Registered user since Wed 15 Jul 2015

Name:David Parker
Country:United Kingdom
Affiliation:University of Oxford
Personal website: https://www.cs.ox.ac.uk/people/david.parker/home.html
X (Twitter): https://x.com/davexparker
GitHub: https://github.com/davexparker
Research interests:Probabilistic verification

Contributions

Show activities from other conferences

NASA Formal Methods 2024-profile
View general profile