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/dfg/Engelmann14
%A Engelmann, Björn
%B Joint Workshop of the German Research Training Groups in Computer Science
%D 2014
%E Jentzsch, Anja
%E Pape, Tobias
%E Pasewaldt, Sebastian
%I Pro Business GmbH
%K dblp
%P 158
%T Verification Techniques for Dynamically Typed Programs.
%U http://dblp.uni-trier.de/db/conf/dfg/rtg2014.html#Engelmann14
%@ 978-3-86386-719-5
@inproceedings{conf/dfg/Engelmann14,
added-at = {2023-06-01T00:00:00.000+0200},
author = {Engelmann, Björn},
biburl = {https://www.bibsonomy.org/bibtex/23cc3973d0cf8374453b512657d1bdea9/dblp},
booktitle = {Joint Workshop of the German Research Training Groups in Computer Science},
crossref = {conf/dfg/2014rtg},
editor = {Jentzsch, Anja and Pape, Tobias and Pasewaldt, Sebastian},
interhash = {d08f1a8a1ab5abc772821f54c13f97fc},
intrahash = {3cc3973d0cf8374453b512657d1bdea9},
isbn = {978-3-86386-719-5},
keywords = {dblp},
pages = 158,
publisher = {Pro Business GmbH},
timestamp = {2024-04-10T21:37:59.000+0200},
title = {Verification Techniques for Dynamically Typed Programs.},
url = {http://dblp.uni-trier.de/db/conf/dfg/rtg2014.html#Engelmann14},
year = 2014
}