An Axiomatic Value Model for Isabelle/UTP

Hdl Handle:
http://hdl.handle.net/10149/609230
Title:
An Axiomatic Value Model for Isabelle/UTP
Authors:
Zeyda, F. (Frank); Foster, S. (Simon); Freitas, L. (Leo)
Affiliation:
Teesside University. Digital Futures Institute
Citation:
Zeyda, F., Foster, S., Freitas, L. (2016) 'An Axiomatic Value Model for Isabelle/UTP' UTP 2016: The 6th International Symposium on Unifying Theories of Programming. To appear in Lecture Notes in Computer Science, June 2016
Publisher:
Springer
Journal:
Lecture Notes in Computer Science
Conference:
UTP 2016: The 6th International Symposium on Unifying Theories of Programming, June 4–5, 2016, Reykjavík, Iceland
Issue Date:
Jun-2016
URI:
http://hdl.handle.net/10149/609230
Additional Links:
http://utp2016.ecnu.edu.cn/
Type:
Meetings and Proceedings
Language:
en
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/issn/0302-9743/ [Accessed: 13/05/2016]

Full metadata record

DC FieldValue Language
dc.contributor.authorZeyda, F. (Frank)en
dc.contributor.authorFoster, S. (Simon)en
dc.contributor.authorFreitas, L. (Leo)en
dc.date.accessioned2016-05-13T08:35:35Zen
dc.date.available2016-05-13T08:35:35Zen
dc.date.issued2016-06en
dc.identifier.urihttp://hdl.handle.net/10149/609230en
dc.language.isoenen
dc.publisherSpringeren
dc.relation.urlhttp://utp2016.ecnu.edu.cn/en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/issn/0302-9743/ [Accessed: 13/05/2016]en
dc.titleAn Axiomatic Value Model for Isabelle/UTPen
dc.typeMeetings and Proceedingsen
dc.contributor.departmentTeesside University. Digital Futures Instituteen
dc.identifier.journalLecture Notes in Computer Scienceen
dc.identifier.conferenceUTP 2016: The 6th International Symposium on Unifying Theories of Programming, June 4–5, 2016, Reykjavík, Icelanden
or.citation.harvardZeyda, F., Foster, S., Freitas, L. (2016) 'An Axiomatic Value Model for Isabelle/UTP' UTP 2016: The 6th International Symposium on Unifying Theories of Programming. To appear in Lecture Notes in Computer Science, June 2016en
dc.eprint.versionPost-printen
dc.embargoNoneen
dc.date.accepted2016-04-15en
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.