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
http://hdl.handle.net/10993/31268
Bar Induction: The Good, the Bad, and the Ugly
English
Rahli, Vincent mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Bickford, Mark mailto [Cornell University]
Constable, Robert mailto [Cornell University]
2017
Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Yes
LICS 2017
20–23 June 2017
http://hdl.handle.net/10993/31268
10.1109/LICS.2017.8005074
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):

FileCommentaryVersionSizeAccess
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.