Martin Leucker profile picture

Martin Leucker

Theoretical Aspects of Computing - ICTAC 2009
Time
Formal Methods: Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected
Formal Methods: Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Model-Based Testing of Reactive Systems Advanced Lectures
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Formal Methods in Outer Space Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Formal Methods in Outer Space Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Formal Methods