Login / Signup

Formal validation and verification of a medical software critical component.

Paolo ArcainiSilvia BonfantiAngelo GargantiniAtif MashkoorElvinia Riccobene
Published in: MEMOCODE (2015)
Keyphrases