Menu

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

obnb.uk is a Good Stuff website.