Nikolai Kosmatov · 4 obras en el catálogoObrasTesting Software and SystemsTTests and ProofsTests and ProofsGGuide to Software Verification with Frama-CGuide to Software Verification with Frama-CIIntegrated Formal MethodsIntegrated Formal Methods