Accéder directement au contenu

Gabriel Radanne

1
Documents

Publications

"david-monniaux"
Image document

Synthesis of ranking functions using extremal counterexamples

Laure Gonnord , David Monniaux , Gabriel Radanne
Programming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. ⟨10.1145/2737924.2737976⟩
Communication dans un congrès hal-01144622v1