Safety Verification of Ada95 Programs Using Software Fault Trees.

Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae

Browse the full SAFECOMP paper archive.