Cover Image
Read Now

1
Published 2012
Springer Berlin Heidelberg
“... Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October...”
Cover Image
Read Now

2
Published 2011
Springer Berlin Heidelberg
“... Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June...”
Cover Image
Read Now

3
Published 2016
Springer International Publishing
“... of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization...”
Cover Image
Read Now

4
Published 2013
Springer Berlin Heidelberg
“... architectures with many cores; formal verification of object oriented software; and an infrastructure...”
Cover Image
Read Now

5
Published 2022
Springer International Publishing
“... at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented...”