Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013.
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Proceedings
%1 journals/corr/BanerjeeDDH13
%B Festschrift for Dave Schmidt
%D 2013
%E Banerjee, Anindya
%E Danvy, Olivier
%E Doh, Kyung-Goo
%E Hatcliff, John
%K dblp
%T Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013.
%U http://dblp.uni-trier.de/db/series/eptcs/eptcs129.html
%V 129
@proceedings{journals/corr/BanerjeeDDH13,
added-at = {2018-09-12T00:00:00.000+0200},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/286e58ac90516c0c55458b1e0286d79f6/dblp},
booktitle = {Festschrift for Dave Schmidt},
editor = {Banerjee, Anindya and Danvy, Olivier and Doh, Kyung-Goo and Hatcliff, John},
ee = {http://arxiv.org/abs/1309.4557},
interhash = {ced197c01bbb341b2b7c1d1a75179bae},
intrahash = {86e58ac90516c0c55458b1e0286d79f6},
keywords = {dblp},
series = {EPTCS},
timestamp = {2019-09-27T12:28:37.000+0200},
title = {Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013.},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs129.html},
volume = 129,
year = 2013
}
