
Registered user since Thu 15 Nov 2018
Name:Nikolaj Bjørner
Affiliation:Microsoft Research
Contributions
VMCAI 2021 | Committee Member in Program Committee within the VMCAI-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile