Bernd Finkbeiner

No bio available. Add one in Open Library.

Books by Bernd Finkbeiner (50 max)

+ shelf+ list

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

2015

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

+ shelf+ list

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

2015

Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte

+ shelf+ list

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings

2019

Bernd Finkbeiner, Leonardo Mariani

+ shelf+ list

Fields of Logic and Computation III Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

2020

Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Prof. Manfred Droste, Bernd Finkbeiner

+ shelf+ list

Verification, Model Checking, and Abstract Interpretation 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

2022

Bernd Finkbeiner, Thomas Wies