Production year

Researcher identifiers

Number of documents

1


"Guy Vidal Naquet"    "Cécile Hardebolle"   

Conference papers1 document

  • Cécile Hardebolle, Dominique Marcadet, Frédéric Boulanger, Guy Vidal Naquet. A Generic Execution Framework for Models of Computation. MOMPES 2007 - ETAPS 2007, Mar 2007, Braga, Portugal. pp.45-54. ⟨hal-00256116⟩