Registered user since Thu 5 Jun 2014

Name: Einar Broch Johnsen

Affiliation: University of Oslo

* ICSE 2018 * Activities

• Committee Member in Program Committee for FormaliSE 2018
• Show activities from other conferences