Browse by author
Lookup NU author(s): Dr Leo Freitas
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Freitas L, Woodcock J
Publication type: Article
Publication status: Published
Journal: Formal Aspects of Computing
Year: 2009
Volume: 21
Issue: 1-2
Pages: 133-154
ISSN (print): 0934-5043
ISSN (electronic): 1433-299X
Publisher: Springer
URL: http://dx.doi.org/10.1007/s00165-008-0074-7
DOI: 10.1007/s00165-008-0074-7
Altmetrics provided by Altmetric