Browse by author
Lookup NU author(s): Professor Cliff JonesORCiD, Professor Ian Hayes
This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).
Author(s): Jones CB, Hayes IJ, Colvin RJ
Publication type: Article
Publication status: Published
Journal: Formal Aspects of Computing
Year: 2015
Volume: 27
Issue: 3
Pages: 475-497
Print publication date: 01/05/2015
Online publication date: 29/08/2014
Acceptance date: 08/07/2014
Date deposited: 08/09/2013
ISSN (print): 0934-5043
ISSN (electronic): 1433-299X
Publisher: Springer
URL: http://dx.doi.org/10.1007/s00165-014-0310-2
DOI: 10.1007/s00165-014-0310-2
Altmetrics provided by Altmetric
