"Automatically Verifying Temporal Properties of Pointer Programs with ..."

Gadi Tellez, James Brotherston (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics