Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/utp/ZeydaFF16
%A Zeyda, Frank
%A Foster, Simon
%A Freitas, Leo
%B UTP
%D 2016
%E Bowen, Jonathan P.
%E Zhu, Huibiao
%I Springer
%K dblp
%P 155-175
%T An Axiomatic Value Model for Isabelle/UTP.
%U http://dblp.uni-trier.de/db/conf/utp/utp2016.html#ZeydaFF16
%V 10134
%@ 978-3-319-52227-2
@inproceedings{conf/utp/ZeydaFF16,
added-at = {2018-11-02T00:00:00.000+0100},
author = {Zeyda, Frank and Foster, Simon and Freitas, Leo},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2706f545c3dcf19ce064b9fd10fa36c40/dblp},
booktitle = {UTP},
crossref = {conf/utp/2016},
editor = {Bowen, Jonathan P. and Zhu, Huibiao},
ee = {https://doi.org/10.1007/978-3-319-52228-9_8},
interhash = {0d0d8bbf6938b8d86de80824744a2e05},
intrahash = {706f545c3dcf19ce064b9fd10fa36c40},
isbn = {978-3-319-52227-2},
keywords = {dblp},
pages = {155-175},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-27T14:17:52.000+0200},
title = {An Axiomatic Value Model for Isabelle/UTP.},
url = {http://dblp.uni-trier.de/db/conf/utp/utp2016.html#ZeydaFF16},
volume = 10134,
year = 2016
}
