Search
Now showing items 1-4 of 4
VSE: Controlling the Complexity in Formal Software Developments
Hutter, D. et al. (1999)
Beitrag zu einer Konferenz
Structured Formal Development in VSE II: The Robertino Case Study
Rock, G. et al.; Saglietti, F.; Goerigk, W. (1999)
Beitrag zu einer Konferenz
KIV 3.0 for Provably Correct Systems
Balser, Michael et al. (1999)
Beitrag zu einer Konferenz
Structured specifications and interactive proofs with KIV
Reif, Wolfgang et al.; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches