ZML: XML Support for Standard Z
Mark Utting‚ Ian Toyn‚ Jing Sun‚ Andrew Martin‚ Jin Song Dong‚ Nicholas Daley and David W. Currie
Book 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