Context Generation from Formal Specifications for C Analysis Tools.

Michele Alberti, Julien Signoles

Browse the full LOPSTR paper archive.