Abstraction-aware verifying compiler for yet another mdd

Naoyasu Ubayashi, Di Ai, Peiyuan Li, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Fingerprint Dive into the research topics of 'Abstraction-aware verifying compiler for yet another mdd'. Together they form a unique fingerprint.