Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Richard Bubel
Joint Papers
The Logic of Software. A Tasting Menu of Formal Methods
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct
Cite
×