Linking VDM and Z

Jim Woodcock, Leo Freitas

Computer Science

Research output: Contribution to conference › Paper › peer-review

Original language	Undefined/Unknown
Pages	143-152
Publication status	Published - 2008

Access to Document

http://dx.doi.org/10.1109/ICECCS.2008.36

Other files and links

Link to publication in Scopus

Cite this