Login / Signup
John Lång
ORCID
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 2
Top Topics
Concurrent Systems
Formal Verification
Ordered Binary Decision Diagrams
Temporal Properties
Top Venues
CoRR
ESEC/SIGSOFT FSE
</>
Publications
</>
John Lång
,
I. S. W. B. Prasetya
Model Checking a C++ Software Framework, a Case Study.
CoRR
(2019)
John Lång
,
I. S. W. B. Prasetya
Model checking a C++ software framework: a case study.
ESEC/SIGSOFT FSE
(2019)