Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

1 Résultat
authFullName_s : D. Fava

Gamifying program analysis

D. Fava , J. Signoles , M. Lemerre , M. Schäf , A. Tiwari
Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2015. Lecture Notes in Computer Science, Nov 2015, Suva, Fiji. pp.591-605, ⟨10.1007/978-3-662-48899-7_41⟩
Conference papers cea-01834979v1