Meta data
- BibTeX key
- conf/sigada/BeltHRCHD11
- entry type
- inproceedings
- booktitle
- SIGAda
- year
- 2011
- pages
- 47-60
- publisher
- ACM
- crossref
- conf/sigada/2011
- ee
- https://doi.org/10.1145/2070337.2070357
- isbn
- 978-1-4503-1028-4
- url
- http://dblp.uni-trier.de/db/conf/sigada/sigada2011.html#BeltHRCHD11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sigada/BeltHRCHD11
%A Belt, Jason
%A Hatcliff, John
%A Robby,
%A Chalin, Patrice
%A Hardin, David S.
%A Deng, Xianghua
%B SIGAda
%D 2011
%E Sward, Ricky E.
%E Feldman, Michael B.
%E Eilers, Dan
%E Rosen, Jean-Pierre
%E Singhoff, Frank
%E Delange, Julien
%E Gardinier, Mark
%E Nyberg, Karl A.
%E Boleng, Jeff
%I ACM
%K dblp
%P 47-60
%T Enhancing spark's contract checking facilities using symbolic execution.
%U http://dblp.uni-trier.de/db/conf/sigada/sigada2011.html#BeltHRCHD11
%@ 978-1-4503-1028-4
@inproceedings{conf/sigada/BeltHRCHD11,
added-at = {2021-11-16T00:00:00.000+0100},
author = {Belt, Jason and Hatcliff, John and Robby and Chalin, Patrice and Hardin, David S. and Deng, Xianghua},
biburl = {https://www.bibsonomy.org/bibtex/2ac941daf851a19099b1465beb342eeaa/dblp},
booktitle = {SIGAda},
crossref = {conf/sigada/2011},
editor = {Sward, Ricky E. and Feldman, Michael B. and Eilers, Dan and Rosen, Jean-Pierre and Singhoff, Frank and Delange, Julien and Gardinier, Mark and Nyberg, Karl A. and Boleng, Jeff},
ee = {https://doi.org/10.1145/2070337.2070357},
interhash = {be09ee0e028db7df95d8eb9cfa49f142},
intrahash = {ac941daf851a19099b1465beb342eeaa},
isbn = {978-1-4503-1028-4},
keywords = {dblp},
pages = {47-60},
publisher = {ACM},
timestamp = {2024-04-09T17:42:39.000+0200},
title = {Enhancing spark's contract checking facilities using symbolic execution.},
url = {http://dblp.uni-trier.de/db/conf/sigada/sigada2011.html#BeltHRCHD11},
year = 2011
}