Warning: Undefined variable $order in /www/www-wjp/includes/publikationsliste.php on line 55
Warning: Undefined variable $direction in /www/www-wjp/includes/publikationsliste.php on line 56
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 62
| zurück zu den Publikationen |
| Ihre Anfrage lieferte 3 Ergebnisse. |
Warning: Undefined variable $simple_publications in /www/www-wjp/includes/publikation.php on line 5
| In der Rieden, Thomas |
 |
|
BibTeX |
| Verifi ed Linking for Modular Kernel Veri fication. | |
Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
| Dissertation, Saarland University, Saarbrücken, 2009. | | |
| Leinenbach, Dirk |
|
|
BibTeX |
| Compiler Verification in the Context of Pervasive System Verification. | |
Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
| Dissertation, Saarland University, Saarbrücken, 2008. | | |
| Petrova, Elena |
|
|
BibTeX |
| Verification of the C0 Compiler Implementation on the Source Code Level. | |
Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
| Dissertation, Saarland University, Saarbrücken, 2007. | | |
|
