Markus Winterholer

• Embedded Software Verification and Debugging