Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7437) (2012. XIV, 223 p. 235 mm)
  • 洋書