%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 }