Verification of Object-Oriented Software: The KeY Approach
| Author(s): | Bernhard Beckert |
Links: | Webseite zum Buch |
|---|---|---|---|
| Source: | LNCS 4334, Springer, 2007 |
||
KIT – The Research University in the Helmholtz Association