Bernhard K. Aichernig
2 published titles
Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University,
(Contributor)
1 edition
- ISBN: 3540205276
- Springer-Verlag
- 2003
- Details
Formal methods for components and objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1 2010 : revised papers
(Contributor)
1 edition
- ISBN: 9783642252709
- Springer
- 2011
- Details