Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Gerardo Schneider
Joint Papers
The 19th Nordic Workshop on Programming Theory (NWPT 2007)
Runtime Validation of Communication Histories
Cite
×