Searching for authors named "Hans Langmaack" – sorted by Relevance.
-
Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification: Relation between Strong Compiler Test and Compiler Implementation Verification
- between Strong Compiler Test and Compiler Implementation Verification Hans Langmaack Institut fur
- Cited by 6 (4 self) – Add To MetaCart
-
Will Informatics be able to Justify the Construction of Large Computer Based Systems?
- Goerigk, Hans Langmaack Abstract The present article addresses correct construction and functioning
- Cited by 1 (0 self) – Add To MetaCart
-
Compiler Implementation Verification and Trojan Horses (Draft)
- Compiler Implementation Verication and Trojan Horses (Draft) 1 Wolfgang Goerigk, Hans Langmaack
- Cited by 1 (1 self) – Add To MetaCart
-
The Steam Boiler Case Study: Competition of Formal Program Specification and Development Methods.
- . Jean-Raymond Abrial, Egon Borger, Hans Langmaack This book wants to contribute to a realistic
- Cited by 8 (2 self) – Add To MetaCart
-
A ProCoS II Project Final Report: ESPRIT Basic Research project 7071
- 1 Hans Langmaack 2 Ernst-R��udiger Olderog 3 Anders P. Ravn 4 1 Oxford University, UK 2
- Add To MetaCart
-
Overview of ESPRIT ProCoS II Project
- Overview of ESPRIT ProCoS II Project C.A.R. Hoare H. Langmaack E.-R. Olderog A.P. Ravn Date
- Add To MetaCart
-
Three-Dimensional Rule-Based Continuous Modelling
- : Prof. Dr. Peter Kandzia Korreferenten: Prof. Dr. Jurgen Lamp Prof. Dr. Hans Langmaack Contents 1
- Add To MetaCart
-
A ProCoS Project Final Report: ESPRIT Basic Research project 7071
- Project Final Report: ESPRIT Basic Research project 7071 Jonathan Bowen 1 C.A.R. Hoare 1 Hans Langmaack 2
- Add To MetaCart
-
ESPRIT Working Group 8694 A ProCoS-WG Working Group Final Report: ESPRIT Working Group 8694
- CoS-WG Working Group Final Report: ESPRIT Working Group 8694 Jonathan Bowen 1 C.A.R. Hoare 2 Hans Langmaack 3
- Add To MetaCart
-
Compiler Correctness and Implementation Verification: The Verifix Approach
- Hoffmann Hans Langmaack Holger Pfeifer x Harald Ruess x Wolf Zimmermann z Abstract Compiler
- Cited by 14 (6 self) – Add To MetaCart

