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, editors, Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Volume 5238 of Lecture Notes in Computer Science, Springer, 2008.

Conference: asmta2008

Editors

Egon Börger

This author has not been identified. It may be one of the following persons: Look up 'Egon Börger' in Google

Michael J. Butler

This author has not been identified. Look up 'Michael J. Butler' in Google

Jonathan P. Bowen

Identified as Jonathan P. Bowen

Paul Boca

This author has not been identified. Look up 'Paul Boca' in Google