For citations:
Promsky A.V. C Program Verification: VC Explanation and the Standard Library. Modeling and Analysis of Information Systems. 2011;18(4):157-167. (In Russ.)
Promsky A.V. C Program Verification: VC Explanation and the Standard Library. Modeling and Analysis of Information Systems. 2011;18(4):157-167. (In Russ.)