|
СТ |
Interactive Verification of UML State Machines |
2004 |
Balser M., Baeumler S., Knapp A., Reif W., Thums A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.02.2005 |
|
СТ |
The Kiv-Approach to Software Verification |
1995 |
Reif W. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
|
СТ |
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 |
|
СТ |
An Approach to Parametrized First-order Specifications: Semantics, Correctness, Parameter Passing |
1993 |
Reif W. |
|
|
|
Lecture Notes in Computer Science |
20.11.1993 |
|
СТ |
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 |
|
СТ |
Verification of Large Software Systems |
1992 |
Reif W. |
|
|
|
Lecture Notes in Computer Science |
28.12.1992 |
|
СТ |
Correctness of Generic Modules |
1992 |
Reif W. |
|
|
|
Lecture Notes in Computer Science |
07.08.1992 |
