ZB 2005: formal specification and development in Z and B [Electronic resource] : 4th International conference of B and Z users, Guilford,UK, April 13-15, 2005: proceedings / ed. H. Treharne. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3455). - Б. ц.