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/erlang/GerdesHSHIW18
%A Gerdes, Alex
%A Hughes, John
%A Smallbone, Nicholas
%A Hanenberg, Stefan
%A Ivarsson, Sebastian
%A Wang, Meng
%B Erlang Workshop
%D 2018
%E Chechina, Natalia
%E Francalanza, Adrian
%I ACM
%K dblp
%P 13-24
%T Understanding formal specifications through good examples.
%U http://dblp.uni-trier.de/db/conf/erlang/erlang2018.html#GerdesHSHIW18
@inproceedings{conf/erlang/GerdesHSHIW18,
added-at = {2018-12-04T00:00:00.000+0100},
author = {Gerdes, Alex and Hughes, John and Smallbone, Nicholas and Hanenberg, Stefan and Ivarsson, Sebastian and Wang, Meng},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/227313f3b8ed2f0b317310082ba855a1e/dblp},
booktitle = {Erlang Workshop},
crossref = {conf/erlang/2018},
editor = {Chechina, Natalia and Francalanza, Adrian},
ee = {https://doi.org/10.1145/3239332.3242763},
interhash = {c1d4c34de9f7f1b59884ecdd2fe41379},
intrahash = {27313f3b8ed2f0b317310082ba855a1e},
keywords = {dblp},
pages = {13-24},
publisher = {ACM},
timestamp = {2019-09-27T17:52:49.000+0200},
title = {Understanding formal specifications through good examples.},
url = {http://dblp.uni-trier.de/db/conf/erlang/erlang2018.html#GerdesHSHIW18},
year = 2018
}
