СТ |
Three Selected Case Studies in Verification |
1995 |
Fuchss T., Reif W., Schellhorn G., Stenzel K. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
СТ |
Reuse of Proofs in Software Verification |
1993 |
Reif W., Stenzel K. |
|
|
|
Lecture Notes in Computer Science |
20.01.1994 |
СТ |
The KIV System - A Tool for Formal Program Development |
1993 |
Drexler R., Reif W., Schellhorn G., Stenzel K., Stephan W., Wolpers A. |
|
|
|
Lecture Notes in Computer Science |
06.04.1993 |