Home Advanced Search

Advanced Search - Page 1

Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Wolfgang Ahrendt, Heike Wehrheim
Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Roland Meyer, André Platzer, Heike Wehrheim (eds.)
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2022
  • Author: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
  • PDF
  • English
  • Year: 2020
  • Author: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
NORG - Erster Roman: Im verbotenen Land
  • EPUB
  • German
  • Year: 2016
  • Author: Hohlbein, Heike;Hohlbein, Wolfgang
NORG - Zweiter Roman: Im Tal des Ungeheuers
  • EPUB
  • German
  • Year: 2016
  • Author: Hohlbein, Heike;Hohlbein, Wolfgang
TOP JOB: Traumchefs: Die besten Arbeitgeber im Mittelstand
  • PDF
  • German
  • Year: 2013
  • Author: Heike Bruch, Wolfgang Clement
Entscheidungen unter Unsicherheit: Die verhaltenspsychologische Ausrichtung der aktienrechtlichen Vorstandshaftung
  • PDF
  • German
  • Author: Ahrendt, Christian
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
  • PDF
  • English
  • Year: 1998
  • Author: Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim (auth.), Stan Budkowski, Ana Cavalli, Elie Najm (eds.)
search