M. M. Atuchin, Igor S. Anureev. Attribute annotations and their use in C program deductive verification. Automatic Control and Computer Sciences, 46(7):308-316, 2012. [doi]
@article{AtuchinA12,
title = {Attribute annotations and their use in C program deductive verification},
author = {M. M. Atuchin and Igor S. Anureev},
year = {2012},
doi = {10.3103/S0146411612070036},
url = {http://dx.doi.org/10.3103/S0146411612070036},
researchr = {https://researchr.org/publication/AtuchinA12},
cites = {0},
citedby = {0},
journal = {Automatic Control and Computer Sciences},
volume = {46},
number = {7},
pages = {308-316},
}