Martin Leucker · 8 obras en el catálogoObrasTheoretical Aspects of Computing - ICTAC 2009Runtime VerificationTheoretical Aspects of Computing - ICTAC 2015MModel-Based Testing of Reactive SystemsModel-Based Testing of Reactive SystemsFFormal Methods in Outer SpaceFormal Methods in Outer SpaceFFormal Methods : Applications and TechnologyFormal Methods : Applications and TechnologyFFormal MethodsFormal MethodsLLogics for Mazurkiewicz tracesLogics for Mazurkiewicz traces
