Philipp Rümmer
Visar 9 publikationer
Practical Aspects of Automated Deduction for Program Verification
Non-termination checking for imperative programs
Integration of a Security Type System into a Program Logic
Integration of a Security Type System into a Program Logic
The KeY system 1.0 (Deduction Component)
Integration of a Security Type System into a Program Logic
Verifying Object-Oriented Programs with KeY: A Tutorial
Taclets: a new paradigm for writing theorem provers
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här: