ZML: XML Support for Standard Z
Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley and David W. Currie infobook title | 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 |
editor | Didier Bert and Jonathan P. Bowen and Steve King and Marina Waldén |
isbn | 3-540-40253-5 |
pages | 437-456 |
publisher | Springer |
series | Lecture Notes in Computer Science |
volume | 2651 |
year | 2003 |
links
BibTeX
related pages
|
