 | 2011 |
|---|
| 9 |       | V. A. Nepomniaschy,
Igor S. Anureev,
M. M. Atuchin,
I. V. Maryasov,
A. A. Petrov,
Alexey V. Promsky:
C program verification in SPECTRUM multilanguage system.
Automatic Control and Computer Sciences 45(7): 413-420 (2011) |
| 8 | | Igor S. Anureev,
I. V. Maryasov,
Valery A. Nepomniaschy:
C-programs verification based on mixed axiomatic semantics.
Automatic Control and Computer Sciences 45(7): 485-500 (2011) |
| 2009 |
|---|
| 7 | | Igor S. Anureev:
Operational ontological approach to formal programming language specification.
Programming and Computer Software 35(1): 35-42 (2009) |
| 2008 |
|---|
| 6 | | Nikolay V. Shilov,
Igor S. Anureev,
E. V. Bodin:
Generation of correctness conditions for imperative programs.
Programming and Computer Software 34(6): 307-321 (2008) |
| 2007 |
|---|
| 5 | | Nikolay V. Shilov,
Igor S. Anureev,
Natalya Olegovna Garanina:
Combining Two Formalism for Reasoning about Concepts.
Description Logics 2007 |
| 2006 |
|---|
| 4 | | 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 | | 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 | | 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 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page