| Alkassar, E. and Bogan, S. and Paul, W. |
|
EE |
BibTeX |
| Proving the Correctness of Client/Server Software. | | In Sadhana Journal, | | pages 145-192, Springer, 2009. | | | | Daum, Matthias and Dörrenbächer, Jan and Bogan, Sebastian |
 |
EE |
BibTeX |
| Model Stack for the Pervasive Verification of a Microkernel-based Operating System. | | In Beckert, Bernhard and Klein, Gerwin, editors, 5th International Verification Workshop (VERIFY'08), | | volume 372 of CEUR Workshop Proceedings, pages 56-70, CEUR-WS.org, 2008. | | | | Bogan, Sebastian |
|
|
BibTeX |
| Formal Specification of a Simple Operating System. | | | Dissertation, Saarland University, Saarbrücken, 2008. | | | | Bogan, Sebastian |
|
|
BibTeX |
| Entwicklung eines Compilers für eine Prolog-Erweiterung zur Programmierung paralleler Algorithmen. | | | Diplomarbeit, , 2003. | | |
|
