Bernd Finkbeiner
Identifiers
- Open LibraryOL8134716A
Top Subjects
- Automatic theorem proving (1)
- Logic (1)
Books by Bernd Finkbeiner
Total count: 6
-
Automated Technology for Verification and Analysis13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, ProceedingsSpringer International Publishing AG2015-01-01
-
Fields of Logic and Computation IIEssays Dedicated to Yuri Gurevich on the Occasion of His 75th BirthdaySpringer London, Limited2015-01-01
-
Runtime Verification19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, ProceedingsSpringer International Publishing AG2019-01-01
-
Fields of Logic and Computation IIIEssays Dedicated to Yuri Gurevich on the Occasion of His 80th BirthdaySpringer International Publishing AG2020-01-01
-
Verification, Model Checking, and Abstract Interpretation23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, ProceedingsSpringer International Publishing AG2022-01-01
-
Design and Verification of Cyber-Physical Systems : from Theory to ApplicationsEssays Dedicated to Martin Fränzle on the Occasion of His 60th BirthdaySpringer2026-01-01