Lecture Notes in Computer Science: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Treharne, Helen; King, Steve; Henson, Martin; Schneider, Steve

Details

Published by: Springer

Publication Date: 2005-04-07

Format: Paperback

ISBN-13: 9783540255598

DOI: 10.1007/b135596

Dimensions: 235cm x155cm

Pages: 496