Skip to content

Home Practice Lessons About

Martin Leucker

Books

Model-Based Testing of Reactive Systems
Formal Methods in Outer Space
Logics for Mazurkiewicz traces
Formal Methods : Applications and Technology
Theoretical Aspects of Computing - ICTAC 2009
Formal Methods
Theoretical Aspects of Computing - ICTAC 2015
Runtime Verification

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.