Searching for authors named "Hans Langmaack" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
