• English
    • Deutsch
Search 
  •   OPARU Home
  • Search
  •   OPARU Home
  • Search
  • English 
    • English
    • Deutsch
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-10 of 13

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
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

  • 1
  • 2

About OPARU | Contact Us
Impressum | Privacy statement
 

 

Browse

All of OPARUCommunities & CollectionsFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFunding

My Account

LoginRegister

Discover

Faculty
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie (13)
InstitutionInstitut für Programmiermethodik und Compilerbau (13)PersonReif, Wolfgang (10)Bibel, W. (5)Schellhorn, Gerhard (5)... View MoreResource type
Teil eines Buches (13)
Issue date1999 (2)1998 (5)1997 (2)1995 (3)1993 (1)University Bibliographyja (13)

About OPARU | Contact Us
Impressum | Privacy statement