Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
PhD Schools
SFM 2014, Envisage Summer School
SFM 2014, Envisage Summer School in Bertinoro, Italy, June 16-20, 2014
Jun 16, 2014 11:18 PM
Project
COST IC0701 Winter School
COST Action IC0701 Winter School on Verification of Object-Oriented Programs, Viinistu, Estonia, 25-29 January, 2009
Jan 25, 2009 11:23 PM
Cite
×