Reference : Bar Induction: The Good, the Bad, and the Ugly
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Bar Induction: The Good, the Bad, and the Ugly
Rahli, Vincent mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Bickford, Mark mailto [Cornell University]
Constable, Robert mailto [Cornell University]
Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
LICS 2017
20–23 June 2017
FnR ; FNR8149128 > Paulo Esteves Verissimo > IISD > Strategic RTnD Program on Information Infrastructure Security and Dependability > 01/01/2015 > 31/12/2019 > 2014

File(s) associated to this reference

Fulltext file(s):

Open access
bar-induction-lics.pdfAuthor preprint374.08 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.