Registered user since Sat 23 May 2015

Name: David Monniaux

Affiliation: CNRS, VERIMAG

PLDI 2015 Activities

• Author of Synthesis of ranking functions using extremal counterexamples within the Research Papers-track in PLDI 2015
• Show activities from other conferences