Virgile Prevosto · 2 obras en el catálogoObrasTTests and ProofsTests and ProofsGGuide to Software Verification with Frama-CGuide to Software Verification with Frama-C