Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .6991) (2011. XIV, 670 S. 235 mm)
  • 洋書