Common specification language for static and dynamic analysis of C programs.

Mickal Delahaye, Nikolai Kosmatov, Julien Signoles

Browse the full SAC paper archive.