[Lecture Notes in Computer Science] ZB 2002:Formal Specification and Development in Z and B Volume 2272 || The Semantics of Circus
Bert, Didier, Bowen, Jonathan P., Henson, Martin C., Robinson, KenVolume:
10.1007/3-
Year:
2002
Language:
english
DOI:
10.1007/3-540-45648-1_10
File:
PDF, 221 KB
english, 2002