• The VSE Development Method - A Way to Engineer High-Assurance Software Systems 

  Hutter, D. et al. (1995)

  Beitrag zu einer Konferenz
  
  

• Bidirectional search in a string with wavelet trees and bidirectional matching statistics 

  Schnattinger, Thomas; Ohlebusch, Enno; Gog, Simon (2012)

  Wissenschaftlicher Artikel
  
  

• The Design of a Functional GUI Library Using Constructor Classes 

  Vullinghs, Ton et al. (1996)

  Beitrag zu einer Konferenz
  
  

• Tactics in KIV 

  Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt (1994)

  Wissenschaftlicher Artikel
  
  

• Three Selected Case Studies in Verification 

  Fuchs, T. et al. (1995)

  Teil eines Buches
  
  

• TkGofer: A Functional GUI Library 

  Vullinghs, Ton et al. (1996)

  Beitrag zu einer Konferenz
  
  

• Transformational derivation of (parallel) programs using skeletons 

  Boiten, E. A.; Geerling, A. M.; Partsch, H. A. (1993)

  Beitrag zu einer Konferenz
  
  

• Effects of Strategic Exiting from Sponsorship after Negative Event Publicity 

  Messner, Matthias; Reinhard, Marc-Andre (2012)

  Wissenschaftlicher Artikel
  
  

• Verification of a Prolog Compiler - First Steps with KIV 

  Schellhorn, Gerhard; Ahrendt, W. (1996)

  Bericht
  
  

• The KIV-approach to Software Verification 

  Reif, Wolfgang; Broy, M.; Jähnichen, S. (1995)

  Teil eines Buches
  
  

View more