Bernhard K. Aichernig

No biography available.

Works (3)

Cover of Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 2010

Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 2010

Cover of Formal methods at the crossroads

Formal methods at the crossroads

Cover of Tests and Proofs

Tests and Proofs