Verifying the Mondex Case Study
| Author(s): | |||
|---|---|---|---|
| Source: | 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM'07), London, UK. IEEE Press, 2007 |
||
KIT – University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association