×
  • Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

    Ian J. Hayes (auth.) Jin Song Dong Jim Woodcock (eds.)

Click on cover to enlarge.
15 - 17Hours to read