Reference : Formally Verified Differential Dynamic Logic
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Computational Sciences
http://hdl.handle.net/10993/29216
Formally Verified Differential Dynamic Logic
English
Bohrer, Brandon mailto [Carnegie Mellon University > Computer Science]
Rahli, Vincent mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Vukotic, Ivana mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Volp, Marcus mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Platzer, Andre mailto [Carnegie Mellon Univerity > Computer Science]
2017
CPP 2017
Yes
CPP 2017
from 16-01-2017 to 17-01-2017
http://hdl.handle.net/10993/29216
FnR ; FNR8149128 > Paulo Esteves Verissimo > IISD > Strategic RTnD Program on Information Infrastructure Security and Dependability > 01/01/2015 > 31/12/2019 > 2015

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
verified-dL-CPP-preprint-2016-11-29.pdfAuthor preprint356.15 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.