Bernd FinkbeinerBooksVerification, Model Checking, and Abstract InterpretationRuntime VerificationFields of Logic and Computation IIIAutomated Technology for Verification and AnalysisDesign and Verification of Cyber-Physical Systems : from Theory to ApplicationsFields of Logic and Computation IIAuthor data: Open Library
