The PubPeer database contains all articles.
To leave the first comment on a specific article, paste a unique identifier such as a DOI, PubMed ID, or arXiv ID into the search bar.
M. M. Atuchin, I. S. Anureev
Search publications for: doi:10.3103/S0146411612070036 1 result
Attribute annotations and their use in C program deductive verification
M. M. Atuchin, I. S. Anureev