TTests and ProofsTests and Proofsde Laura Kovács, Karl MeinkeEdiciones (1)Tests and Proofs (2022)Springer International Publishing AG · inglés · ISBN 9783031098260Más obras de Laura KovácsAAutomated ReasoningAutomated ReasoningRReachability ProblemsReachability ProblemsIIntegrated Formal MethodsIntegrated Formal MethodsVer todas las obras de Laura Kovács →