Deduction Soundness: Prove One, Get Five for Free

Florian Bohl, Veronique Cortier, Bogdan Warinschi

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

8 Citations (Scopus)
Original languageEnglish
Title of host publicationACM CCS 2013
PublisherAssociation for Computing Machinery (ACM)
Pages1261-1272
DOIs
Publication statusPublished - 4 Nov 2013

Cite this