Search the dblp DataBase
Igor S. Anureev: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- V. A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky
Verification-Oriented Language C-Light and Its Structural Operational Semantics. [Citation Graph (0, 0)][DBLP]
Ershov Memorial Conference, 2003, pp:103-111 [Conf] - V. A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky
Towards Verification of C Programs. C-Light Language and Its Formal Semantics. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2002, v:28, n:6, pp:314-323 [Journal] - V. A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2003, v:29, n:6, pp:338-350 [Journal] - V. A. Nepomniaschy, Igor S. Anureev, I. V. Dubranovskii, Alexey V. Promsky
Towards verification of C# programs: A three-level approach. [Citation Graph (0, 0)][DBLP]
Programming and Computer Software, 2006, v:32, n:4, pp:190-202 [Journal]
Combining Two Formalism for Reasoning about Concepts. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002