Bernd Finkbeiner

TUM School of Computation, Information and Technology · Verifikation und Synthese von reaktiven Systemen

Technical University of Munich · Muenchen · Bayern