Non abbiamo ancora una biografia di Martin Leucker.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Theoretical Aspects of Computing - ICTAC 2015
2015
Theoretical Aspects of Computing - ICTAC 2009
2009
Runtime Verification
2018
Model-Based Testing of Reactive Systems
2005
Formal Methods
2023
Formal Methods in Outer Space
2021
Formal Methods : Applications and Technology
2007
Otium
