Browse by Person
Up a level |
Hähnle, Reiner
eds.: Bonsangue, Marcello ; de Boer, Frank ; Giachino, Elena ; Hähnle, Reiner (2013)
The Abstract Behavioral Specification Language: A Tutorial Introduction.
Conference or Workshop Item, Bibliographie
Albert, Elvira ; de Boer, Frank ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
eds.: Babar, Ali ; Dumas, Marlon (2013)
Engineering Virtualized Services.
Conference or Workshop Item, Bibliographie
eds.: Bonsangue, Marcello ; de Boer, Frank ; Giachino, Elena ; Hähnle, Reiner (2013)
International School on Formal Models for Components and Objects: Post Proceedings.
Conference or Workshop Item, Bibliographie
Gouw, Stijn de ; de Boer, Frank ; Ahrendt, Wolfgang ; Bubel, Richard (2013)
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks.
doi: 10.1007/978-3-642-35843-2_19
Conference or Workshop Item, Bibliographie
Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
eds.: Aichernig, Bernhard ; de Boer, Frank ; Bonsangue, Marcello (2011)
Program Specialization Via a Software Verification Tool.
Conference or Workshop Item, Bibliographie
Bubel, Richard ; Hähnle, Reiner ; Ji, Ran
eds.: de Boer, Frank ; Bonsangue, Marcello ; Hallerstede, Stefan ; Leuschel, Michael (2010)
Interleaving Symbolic Eexecution and Partial Evaluation.
Conference or Workshop Item, Bibliographie
Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter
eds.: de Boer, Frank ; Bonsangue, Marcello ; Graf, Susanne ; de Roever, Willem (2007)
Verifying Object-Oriented Programs with KeY: a Tutorial.
doi: 10.1007/978-3-540-74792-5_4
Conference or Workshop Item, Bibliographie