Gabriel Radanne
1
Documents
Publications
- 1
- 1
- 1
- 1
|
|
Synthesis of ranking functions using extremal counterexamplesProgramming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. ⟨10.1145/2737924.2737976⟩
Communication dans un congrès
hal-01144622v1
|