Davor Obradovic. Fault origin adjudication (2000)

by Karthikeyan Bhargavan, Carl A Gunter
Venue:In Formal Methods in Software Practice (FMSP