Selected dynamic issues in software model checking

Viet Yen Nguyen, Theo C. Ruys. Selected dynamic issues in software model checking. STTT, 15(4):337-362, 2013. [doi]

Abstract

Abstract is missing.