Menu

Thomas Santen

1 published title

Integrated formal methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

(Contributor)

1 edition

  • ISBN: 3540411968
  • Springer
  • 2000
  • Details

obnb.uk is a Good Stuff website.