| |
| | Computer Science: Theoretical Computer Science Group publications |
 | | In D Bert, J Bowen, S King, and M Walden, editors, ZB 2003: Formal Specification and Development in Z and B, volume 2651 of Lecture Notes in Computer Science, pages 127-147. |
 | | In D. Bert, J. Bowen, S. King, and M. Walden, editors, ZB 2003: Formal Specification and Development in Z and B, volume 2651 of Lecture Notes in Computer Science, pages 300-318. |
 | | In Jonathan P. Bowen, Steve Dunne, Andy Galloway, and Steve King, editors, ZB2000: Formal Specification and Development in Z and B / First International Conference of B and Z Users, volume 1878 of Lecture Notes in Computer Science, pages 286-303. |
| www.cs.kent.ac.uk /research/groups/tcs/pubs.html (9101 words) |
|