Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... II: 8803 (Lecture Notes in Computer Science)

by Bernhard Steffen (Editor), Bernhard Steffen (Editor), Tiziana Margaria (Editor)

• New

  Paperback
  2014

  $82.81

  The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.