Browse by author
Lookup NU author(s): Emeritus Professor Cliff JonesORCiD
This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).
Author(s): Jones CB, Hayes IJ
Publication type: Article
Publication status: Published
Journal: Logical and Algebraic Methods in Programming
Year: 2016
Volume: 85
Issue: Issue 5 Part 2
Pages: 972-984
Print publication date: 01/08/2016
Online publication date: 13/01/2016
Acceptance date: 08/01/2016
Date deposited: 08/12/2015
ISSN (print): 2352-2208
ISSN (electronic): 2352-2216
Publisher: Elsevier
URL: http://dx.doi.org/10.1016/j.jlamp.2016.01.002
DOI: 10.1016/j.jlamp.2016.01.002
Altmetrics provided by Altmetric
