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/ecoop/BlancKKS13
%A Blanc, Régis
%A Kuncak, Viktor
%A Kneuss, Etienne
%A Suter, Philippe
%B SCALA@ECOOP
%D 2013
%I ACM
%K
%P 1:1-1:10
%T An overview of the Leon verification system: verification by translation to recursive functions.
%U http://dblp.uni-trier.de/db/conf/ecoop/scala2013.html#BlancKKS13
%@ 978-1-4503-2064-1
@inproceedings{conf/ecoop/BlancKKS13,
added-at = {2023-12-12T19:23:09.000+0100},
author = {Blanc, Régis and Kuncak, Viktor and Kneuss, Etienne and Suter, Philippe},
biburl = {https://www.bibsonomy.org/bibtex/2dba9efc89308dd746b73ce44d89173f5/admin},
booktitle = {SCALA@ECOOP},
crossref = {conf/ecoop/2013scala},
ee = {https://doi.org/10.1145/2489837.2489838},
interhash = {1fec052bf18b334e03c562eac9860667},
intrahash = {dba9efc89308dd746b73ce44d89173f5},
isbn = {978-1-4503-2064-1},
keywords = {},
pages = {1:1-1:10},
publisher = {ACM},
timestamp = {2023-12-12T19:23:09.000+0100},
title = {An overview of the Leon verification system: verification by translation to recursive functions.},
url = {http://dblp.uni-trier.de/db/conf/ecoop/scala2013.html#BlancKKS13},
year = 2013
}