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