ZML: XML Support for Standard Z

ZB 2003: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/3-540-44880-2_26 ◽

2003 ◽

pp. 437-456 ◽

Author(s):

Mark Utting ◽

Ian Toyn ◽

Jing Sun ◽

Andrew Martin ◽

Jin Song Dong ◽

...

Download Full-text