Laura Kovács · 4 obras en el catálogoObrasTTests and ProofsTests and ProofsAAutomated ReasoningAutomated ReasoningRReachability ProblemsReachability ProblemsIIntegrated Formal MethodsIntegrated Formal Methods