ACSL: ANSI/ISO C Specification Language

By Patrick Baudin, Jean-Christophe Filliâtre, Claude Marché, Benjamin Monate, Yannick Moy, Virgile Prevosto. 2008

314 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/96781ccca3bf53c6cd36a16825a3da22791ac1ec