NASA Formal Methods 2023 (series) / Nikolaj Bjørner
![Nikolaj Bjørner](https://conf.researchr.org/getProfileImage/nikolajbjrner/9903145f-351b-42ca-9bf6-5826a57d428c/small.jpg?1711464622000)
Registered user since Thu 15 Nov 2018
Name:Nikolaj Bjørner
Affiliation:Microsoft Research
Contributions
NASA Formal Methods 2023-profile
View general profile
View general profile
Registered user since Thu 15 Nov 2018
Contributions