Home > Authors > Alexander Knapp

Alexander Knapp

All books by Alexander Knapp

(Displaying 1 Book)

Critical Systems : Formal Methods and Automated Verification

Critical Systems : Formal Methods and Automated Verification

Maurice H. Ter Beek

Looking for another book by Alexander Knapp? Search for the book by title.