Search
Now showing items 1-10 of 13
Theorem Proving in Large Theories
Reif, Wolfgang; Schellhorn, Gerhard; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches
Integrating Automated and Interactive Theorem Proving
Ahrendt, W. et al.; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches
A Programmer Friendly Modular Definition of the Semantics of Java.
Börger, Egon; Schulte, Wolfram; Alves-Foss, J. (1999)
Teil eines Buches
Formal Methods and Tools: Introduction and Overview
Berghammer, R.; Lakhnech, Y.; Reif, Wolfgang; Berghammer, R.; Lakhnech, Y. (1999)
Teil eines Buches
Structured specifications and interactive proofs with KIV
Reif, Wolfgang et al.; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches
The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV
Schellhorn, Gerhard; Ahrendt, W.; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches
Risikofaktor Software
Reif, Wolfgang; Jantke, K.; Grieger, G.; Wittig, W. (1997)
Teil eines Buches
Software-Verifikation und ihre Anwendungen
Reif, Wolfgang (1997)
Teil eines Buches
A Method for the Development of Correct Software
Pepper, Peter et al.; Broy, M.; Jähnichen, S. (1995)
Teil eines Buches
Formal Problem Specification on an Algebraic Basis
Partsch, Helmuth; Möller, B.; Partsch, H.; Schuman, S. (1993)
Teil eines Buches