×
  • Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

    Egon Börger (auth.) Dieter Hutter Werner Stephan Paolo Traverso Markus Ullmann (eds.)

Click on cover to enlarge.
8 - 9Hours to read