IMT journal
Cited workPublicationDocument
Region analysis for deductive verification of C programs
http://libmeta.ru/resource/imt/cited_1490
Данные
| sourceNote | Programming and Computer Software. 2016. V. 42. Issue 5. Pp. 257–278. |
| year | 2016 |
| language | en |
| bibliographicCitation | Mandrykin M.U., Khoroshilov A.V. Region analysis for deductive verification of C programs // Programming and Computer Software. 2016. V. 42. Issue 5. Pp. 257–278. |
author
Входящие связи