Abstract State Machines‚ B and Z‚ First International Conference‚ ABZ 2008‚ London‚ UK‚ September 16−18‚ 2008. Proceedings
Book Title
ABZ
Editor
Egon Börger and Michael J. Butler and Jonathan P. Bowen and Paul Boca
ISBN
978−3−540−87602−1
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5238
Year
2008