Search
Now showing items 1-3 of 3
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