Automatic Detection of Vulnerable Variables for CTL Properties of Programs.

Nam Moussaoui Remil, Caterina Urban, Antoine Min

Browse the full LPAR paper archive.