Steve King

Search results

• 2003

  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

  Bert, D. (Editor), Bowen, J. P. (Editor), King, S. (Editor) & Waldén, M. A. (Editor), 2003, Springer. (Lecture Notes in Computer Science; vol. 2651)

  Research output: Book/Report › Book