| 2006 |
|---|
| 4 | EE | V. A. Nepomniaschy,
Igor S. Anureev,
I. V. Dubranovskii,
Alexey V. Promsky:
Towards verification of C# programs: A three-level approach.
Programming and Computer Software 32(4): 190-202 (2006) |
| 2003 |
|---|
| 3 | EE | V. A. Nepomniaschy,
Igor S. Anureev,
Alexey V. Promsky:
Verification-Oriented Language C-Light and Its Structural Operational Semantics.
Ershov Memorial Conference 2003: 103-111 |
| 2 | EE | V. A. Nepomniaschy,
Igor S. Anureev,
Alexey V. Promsky:
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language.
Programming and Computer Software 29(6): 338-350 (2003) |
| 2002 |
|---|
| 1 | EE | V. A. Nepomniaschy,
Igor S. Anureev,
I. N. Mikhailov,
Alexey V. Promsky:
Towards Verification of C Programs. C-Light Language and Its Formal Semantics.
Programming and Computer Software 28(6): 314-323 (2002) |
