@article{lerda01addressing, author = "Flavio Lerda and Willem Visser", title = "Addressing Dynamic Issues of Program Model Checking", journal = "Lecture Notes in Computer Science", volume = "2057", pages = "80--102", year = "2001", }