Mickaël Delahaye, Nikolai Kosmatov, Julien Signoles. Common Specification Language for Static and Dynamic Analysis of C Programs.
SAC 2013 - 28th ACM Symposium on Applied Computing, Polytechnic Institute of Coimbra (IPC), Mar 2013, Coimbra, Portugal. pp.1230-1235,
⟨10.1145/248062.2480593⟩.
⟨hal-00853721⟩