Pascal Cuoq

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Frama-C: A software analysis perspective
Pascal Cuoq and others (2012) · International Conference on Software Engineering and Formal Methods (SEFM)
A Value Analysis for C Programs
Géraud Canet and others (2009) · IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)