Martin Leucker

الكتب
Formal Methods Formal Methods
Formal Methods
٢٠٢٣
Formal Methods in Outer Space Formal Methods in Outer Space
Formal Methods in Outer Space
٢٠٢١
Runtime Verification Runtime Verification
Runtime Verification
٢٠١٨
Theoretical Aspects of Computing - ICTAC 2015 Theoretical Aspects of Computing - ICTAC 2015
Theoretical Aspects of Computing - ICTAC 2015
٢٠١٥
Formal Methods: Applications and Technology Formal Methods: Applications and Technology
Formal Methods: Applications and Technology
٢٠٠٧
Runtime Verification Runtime Verification
Runtime Verification
٢٠٠٨