Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
PhD Schools
SFM 2014, Envisage Summer School
SFM 2014, Envisage Summer School in Bertinoro, Italy, June 16-20, 2014
16 June 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
25 January 2009 11:23 PM
Cite
×