国際会議
[1] Naoyasu Ubayashi, Di Ai, Peiyuan Li, Yu Ning Li, Shintaro Hosoai, and Yasutaka Kamei, "Abstraction-Aware Verifying Compiler for Yet Another Mdd," In 29th International Conference on Automated Software Engineering (ASE 2014), pages 557-562, 2014.