Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Egon Börger Michael J. Butler Jonathan P. Bowen Paul Boca Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings 5238 2008 978-3-540-87602-1 Lecture Notes in Computer Science Springer ABZ db/conf/asm/abz2008.html