KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540605898, 9783540478027
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Realizing sets by hash tables

1995 ◽  
pp. 58-73
Author(s):  
Peter Pepper ◽  
Ralph Betschko ◽  
Sabine Dick ◽  
Klaus Didrich
Keyword(s):  
Hash Tables

The verification system Tatzelwurm

1995 ◽  
pp. 285-298 ◽  
Author(s):  
Peter Deussen ◽  
Alex Hansmann ◽  
Thomas Käufl ◽  
Stefan Klingenbeck
Keyword(s):  
Verification System

A method for the development of correct software

1995 ◽  
pp. 25-57 ◽  
Author(s):  
Peter Pepper ◽  
Martin Wirsing ◽  
Ralph Betschko ◽  
Manfred Broy ◽  
Sabine Dick ◽  
...  

Three selected case studies in verification

1995 ◽  
pp. 369-387 ◽  
Author(s):  
Thomas Fuchß ◽  
Wolfgang Reif ◽  
Gerhard Schellhorn ◽  
Kurt Stenzel
Keyword(s):  
Case Studies
Load More ...
Sign in / Sign up

Export Citation Format

Share Document