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)
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.
Format: Paperback
Pages: 396
Edition: 2012
Publisher: Springer
Published: 12 Jun 2012
ISBN 10: 3642308848
ISBN 13: 9783642308840