| zurück zu den Publikationen |
| Ihre Anfrage lieferte 3 Ergebnisse. |
| In der Rieden, Thomas |
 |
|
BibTeX |
| Verifi ed Linking for Modular Kernel Veri fication. | | | Dissertation, Saarland University, Saarbrücken, 2009. | | |
| Leinenbach, Dirk |
|
|
BibTeX |
| Compiler Verification in the Context of Pervasive System Verification. | | | Dissertation, Saarland University, Saarbrücken, 2008. | | |
| Petrova, Elena |
|
|
BibTeX |
| Verification of the C0 Compiler Implementation on the Source Code Level. | | | Dissertation, Saarland University, Saarbrücken, 2007. | | |
|
