Formal validation and verification of a medical software critical component.

Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene

Browse the full MEMOCODE paper archive.