Write a Blog >>
ISMM 2016
Tue 14 Jun 2016 Santa Barbara, California, United States
co-located with PLDI 2016
PLDI 2016 (series) / ISMM 2016 (series) / Nikolaj Bjørner
Nikolaj Bjørner

Registered user since Thu 15 Nov 2018

Name:Nikolaj Bjørner
Affiliation:Microsoft Research

Contributions

Show activities from other conferences

PLDI 2016-profile
View general profile