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. [doi]
@article{NepomniaschyAMP02,
title = {Towards Verification of C Programs. C-Light Language and Its Formal Semantics},
author = {V. A. Nepomniaschy and Igor S. Anureev and I. N. Mikhailov and Alexey V. Promsky},
year = {2002},
doi = {10.1023/A:1021045909505},
url = {http://dx.doi.org/10.1023/A:1021045909505},
tags = {programming languages, semantics, program verification, formal semantics, C++},
researchr = {https://researchr.org/publication/NepomniaschyAMP02},
cites = {0},
citedby = {0},
journal = {Programming and Computer Software},
volume = {28},
number = {6},
pages = {314-323},
}