ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings

Bibliographic Information

ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings

Didier Bert ... [et al.] (eds.)

(Lecture notes in computer science, 2651)

Springer, c2003

Search this Book/Journal
Note

Includes bibliographical references and index

Other editors: Jonathan P. Bowen, Steve King, Marina Waldén

Related Books: 1-1 of 1
Details
Page Top