ZB 2005: Formal Specification and Development in Z and B - Treharne, Helen; Henson, Martin; Kanade, Takeo; King, Steve; Schneider, Steve (Springer Berlin / Heidelberg, 2005)
Keywords: Information Technology -- Software Engineering