Verifying Object-Oriented Programs with KeY: A Tutorial
| Author(s): | Wolfgang Ahrendt |
||
|---|---|---|---|
| Source: | 5th International Symposium on Formal Methods for Components and Objects (FMCO), Amsterdam, 2006, LNCS 4709 |
||
KIT – The Research University in the Helmholtz Association