TY  - RPRT
TI  - Model Checking a C++ Software Framework, a Case Study
AU  - John Lång
AU  - I. S. W. B. Prasetya
PY  - 2019
DO  - 10.1145/3338906.3340453
UR  - https://arxiv.org/abs/1907.00172
ID  - 1907.00172
ER  -