Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Journal title: Electronic Proceedings in Theoretical Computer Science
Journal number: 254
Journal publisher: 13th International Conference on integrated Formal Methods (iFM 2017)
Published year: 2017
DOI identifier: 10.4204/EPTCS.254
ISSN: 2075-2180
