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