MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Wolfgang Reif" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 60 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • The KIV-Approach to Software Verification  
  • by Wolfgang Reif — 1995 — KORSO: METHODS, LANGUAGES, AND TOOLS FOR THE CONSTRUCTION OF CORRECT SOFTWARE – FINAL REPORT, LNCS 1009
  • …The Kiv-Approach to Software Verification ? Wolfgang Reif Abt. Programmiermethodik Universitat…
  • Cited by 32 (6 self) – Add To MetaCart
  • Reuse of proofs in software verification  
  • by Wolfgang Reif, Kurt Stenzel — 1993 — Foundations of Software Technology and Theoretical Computer Science
  • …Reuse of Proofs in Software Verication Wolfgang Reif and Kurt Stenzel ? Abt. Programmiermethodik…
  • Cited by 20 (6 self) – Add To MetaCart
  • Three Selected Case Studies in Verification  
  • by Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel — 1995 — Korso, Correct Software by Formal Methods, Lecture Notes in Computer Science
  • …Three Selected Case Studies in Verification Thomas Fuch, Wolfgang Reif, Gerhard Schellhorn, Kurt…
  • Add To MetaCart
  • Do you trust model checker  
  • by Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer — Lecture Notes in Computer Science
  • …Do you trust your model checker? ⋆ Wolfgang Reif 1 and Jürgen Ruf 2 and Gerhard Schellhorn 1…
  • Cited by 1 (0 self) – Add To MetaCart
  • Tactics in KIV  
  • by Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel — 1994
  • ….verarb. Kybernet.) Tactics in KIV By Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel 1 Abt. Programmiermethodik…
  • Cited by 1 (0 self) – Add To MetaCart
  • Design for trust: Security in m-commerce  
  • by Dominik Haneberg, Er Kreibich, Wolfgang Reif, Kurt Stenzel — 2003 — In Informatik 2003, Lecture Notes in Informatics
  • …Design for Trust: Security in M-Commerce Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB