A System Dependence Net Generator for Ada Programs.

Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima

Browse the full APSEC paper archive.