"Chapter Two - Advances in Software Model Checking."

Junaid Haroon Siddiqui, Affan Rauf, Maryam Abdul Ghafoor (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics