Thierry Gueguen

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Hélène Collavizza, Nguyen Le Vinh, Michel Rueher, Samuel Devulder, Thierry Gueguen
A dynamic constraint-based BMC strategy for generating counterexamples. SAC (2011)