Martin Leucker
Martin Leucker
7 featured booksMartin Leucker
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL7208092A
Overview
Catalog identity and bibliographic footprint for this author.
7 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryRV
Runtime Verification
cover - Image source: Open LibraryTA
Theoretical Aspects of Computing - ICTAC 2015
cover - Image source: Open LibraryTA
Theoretical Aspects of Computing - ICTAC 2009
cover - FMFormal MethodsMartin Leucker
Formal Methods
no cover - FMFormal Methods in Outer SpaceMartin Leucker
Formal Methods in Outer Space
no cover - FMFormal Methods : Applications a...Martin Leucker
Formal Methods : Applications and Technology
no cover - MTModel-Based Testing of Reactive...Martin Leucker
Model-Based Testing of Reactive Systems
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.