Bernd Finkbeiner profile picture

Bernd Finkbeiner

Is this your author profile? Create an account to customize it!

Stand Alone

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