ePrints

Mechanising Mondex with Z/Eves

Lookup NU author(s): Dr Leo Freitas

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Freitas L, Woodcock J

Publication type: Article

Publication status: Published

Journal: Formal Aspects of Computing

Year: 2008

Volume: 20

Issue: 1

Pages: 117-139

ISSN (print): 0934-5043

ISSN (electronic): 1433-299X

Publisher: Springer

URL: http://dx.doi.org/10.1007/s00165-007-0059-y

DOI: 10.1007/s00165-007-0059-y

Altmetrics

Share