NASA Formal Methods 2023 (series) / Martin Kristjansen
![Martin Kristjansen](https://conf.researchr.org/getProfileImage/martinkristjansen/7b485602-4427-4dd5-ab88-6858dd45b479/small.jpg?1714739468000)
Registered user since Fri 31 Mar 2023
Name:Martin Kristjansen
Country:Denmark
Affiliation:Aalborg University
Contributions
NASA Formal Methods 2023-profile
View general profile
View general profile