Formal Methods for Industrial Critical Systems

  • Length: 243 pages
  • Publication Date: 2010-11-04