Search results

Validation (co-authored by R. Staerk and J. Schmid), Springer-Verlag ISBN 3-540-42088-6, 2001 Egon Börger and Alexander Raschke, Modeling Companion for Software...

Secaucus, NJ, USA: Springer-Verlag New York, Inc. pp. Section 8.3. ISBN 3-540-42088-6. Fruja, Nicu G. (October 2004). "The Correctness of the Definite Assignment...

Definition, Verification, Validation, Springer-Verlag, 2001. (ISBN 3-540-42088-6) E. Börger and R. Stärk, Abstract State Machines: A Method for High-Level...