|
СТ |
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines |
2003 |
Zimmermann W., Dold A. |
|
|
|
Lecture Notes in Computer Science |
28.03.2003 |
|
СТ |
A Mechanically Verified Compiling Specification for a Lisp Compiler |
2001 |
Dold A., Vialard V. |
|
|
|
Lecture Notes in Computer Science |
22.12.2001 |
|
СТ |
Software Development in PVS Using Generic Development Steps |
2000 |
Dold A. |
|
|
|
Lecture Notes in Computer Science |
10.12.2000 |
|
СТ |
Formal Verification of a Compiler Back-End Generic Checker Program |
2000 |
Dold A., Vialard V. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
|
СТ |
Formal Verification of a Compiler Back-end Generic Checker Program |
1999 |
Dold A., Vialard V. |
|
|
|
Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. |
02.07.1999 |
|
СТ |
Construction and Deduction Methods for the Formal Development of Software |
1995 |
Von Henke F. W., Dold A., Ruess H., Schwier D., Strecker M. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
|
СТ |
Representing, Verifying and Applying Software Development Steps using the PVS System |
1995 |
Dold A. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
