Towards Deductive Verification of C Programs with Shared Data
О дедуктивной верификации Си программ, работающих с разделяемыми данными

M.U. Mandrykin, A.V. Khoroshilov
2015 Proceedings of the Institute for System Programming of RAS  
doi:10.15514/ispras-2015-27(4)-4 fatcat:inmwcvnmjnd7fffxq3ci5afm5q