Registered user since Thu 5 Jun 2014
Name: Einar Broch Johnsen
Affiliation: University of Oslo
Contributions
FormaliSE 2020 | PC Member in Program Committee within the FormaliSE 2020-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile
Registered user since Thu 5 Jun 2014
Name: Einar Broch Johnsen
Affiliation: University of Oslo
Contributions
FormaliSE 2020 | PC Member in Program Committee within the FormaliSE 2020-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |