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