Mikhail U. Mandrykin, Alexey V. Khoroshilov. Region analysis for deductive verification of C programs. Programming and Computer Software, 42(5):257-278, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.