Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science)

by Michael Leuschel (Editor), Michael Leuschel (Editor), John Fitzgerald (Editor), John Derrick (Editor), Stefania Gnesi (Editor), Elvinia Riccobene (Editor), Sarfraz Khurshid (Editor), Steve Reeves (Editor)

• New

  Paperback
  2012

  $65.13

  This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012.