2 |
| Aichernig, Bernhard K. (ed.) |
| |
| | 2005 | de Nivelle, Hans
Piskac, Ruzica | Aichernig, Bernhard K.
Beckert, Bernhard | | Verification of an Off-Line Checker for Priority Queues
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 210-219 | Proceedings Article | |
| | 2005 | [Georgieva, Lilia]
Maier, Patrick | [Aichernig, Bernhard K.]
[Beckert, Bernhard] | | Description Logics for Shape Analysis
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 321-330 | Proceedings Article | |
2 |
| Alferes, José Júlio (ed.) |
| |