×
  • IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

    He Jifeng (auth.) Keijiro Araki PhD Andy Galloway PhD MSc BSc(Hons) Kenji Taguchi MA (eds.)

Click on cover to enlarge.
10 - 12Hours to read