×
  • Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

    Takuya Katayama (auth.) Shaoying Liu Tom Maibaum Keijiro Araki (eds.)

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