Back
  1. Home
  3. Detailed Reference
Download
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Formally Verified Differential Dynamic Logic
Bohrer, Brandon; RAHLI, Vincent; VUKOTIC, Ivana et al.
2017 • In CPP 2017
Peer reviewed
Permalink
https://hdl.handle.net/10993/29216
DOI
10.1145/3018610.3018616
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
verified-dL-CPP-preprint-2016-11-29.pdf
Author preprint (364.7 kB)
Download

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Author, co-author :
Bohrer, Brandon;  Carnegie Mellon University > Computer Science
RAHLI, Vincent ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
VUKOTIC, Ivana ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
VOLP, Marcus  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Platzer, Andre;  Carnegie Mellon Univerity > Computer Science
External co-authors :
yes
Language :
English
Title :
Formally Verified Differential Dynamic Logic
Publication date :
2017
Event name :
ACM Sigplan Conference on Certified Programs and Proofs (CPP 2017)
Event date :
from 16-01-2017 to 17-01-2017
Main work title :
CPP 2017
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
FnR Project :
FNR8149128 - Strategic Rtnd Program On Information Infrastructure Security And Dependability, 2014 (01/01/2015-31/12/2021) - Marcus Völp
Available on ORBilu :
since 02 January 2017

Statistics

Number of views
247 (60 by Unilu)
Number of downloads
756 (47 by Unilu)
More statistics
Scopus citations®
 
49
Scopus citations®
without self-citations
28
OpenCitations
 
32
OpenAlex citations
 
57
WoS citations™
 
39

Bibliography

Similar publications


Contact ORBilu