Verifying Object-Oriented Programs with KeY: A Tutorial
| Autor(en): | Wolfgang Ahrendt |
||
|---|---|---|---|
| Quelle: | 5th International Symposium on Formal Methods for Components and Objects (FMCO'06), Amsterdam, The Netherlands. LNCS 4709, Springer, 2007 |
||
