Helmut Brandl

http://softwareverificaton.wordpress.com/