Nikolaj Bjørner

Registered user since Thu 15 Nov 2018

Name:Nikolaj Bjørner
Affiliation:Microsoft Research

Contributions

NASA Formal Methods Committee Member in Program Committee within the NFM 2023-track
Show activities from other conferences

Using general profile