TitleEditorial
Publication TypeJournal Article
Year of Publication2015
AuthorsEleftherakis G, Butler M, Hinchey M
JournalFormal Aspects of Computing
Volume27
Pagination473–473
Date PublishedMay
ISSN1433-299X
URLhttps://doi.org/10.1007/s00165-015-0335-1
DOI10.1007/s00165-015-0335-1