Deduction Soundness: Prove One, Get Five for Free

Florian Bohl, Veronique Cortier, Bogdan Warinschi

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

9 Citations (Scopus)

Original language	English
Title of host publication	ACM CCS 2013
Publisher	Association for Computing Machinery (ACM)
Pages	1261-1272
DOIs	https://doi.org/10.1145/2508859.2516711
Publication status	Published - 4 Nov 2013

Access to Document

@inproceedings{0f43ddc1ae8544d98f1476feb92a05cc,

title = "Deduction Soundness: Prove One, Get Five for Free",

author = "Florian Bohl and Veronique Cortier and Bogdan Warinschi",

year = "2013",

month = nov,

day = "4",

doi = "10.1145/2508859.2516711",

language = "English",

pages = "1261--1272",

booktitle = "ACM CCS 2013",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

}