Title: ZB 2002: formal specification and development in Z and B
Subjects: B (Computer program language), Congresses, Z (Computer program language)