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
Editor(s): Tiago Massoni and Mohammad Reza Mousavi
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Formal Methods: Foundations and Applications. 21st Brazilian Symposium (SBMF 2018)
Year of Conference: 2018
Pages: 109-125
Print publication date: 01/12/2018
Online publication date: 24/10/2018
Acceptance date: 01/10/2018
ISSN: 0302-9743
Publisher: Springer
URL: https://doi.org/10.1007/978-3-030-03044-5_8
DOI: 10.1007/978-3-030-03044-5_8
Library holdings: Search Newcastle University Library for this item
Series Title: Lecturer Notes in Computer Science
ISBN: 9783030030438
