Who Guards the Guardians? - Toward V&V of Health Management Software - (Short Paper).

Johann Schumann, Ashok N. Srivastava, Ole J. Mengshoel

Browse the full RV paper archive.