Login / Signup
Eric Botcazou
Publication Activity (10 Years)
Years Active: 2011-2013
Publications (10 Years): 0
Top Topics
Sustainable Development
User Interface
World War Ii
Top Venues
Ada-Europe
</>
Publications
</>
Thomas Quinot
,
Eric Botcazou
Lady Ada Mediates Peace Treaty in Endianness War.
Ada-Europe
(2013)
Roderick Chapman
,
Eric Botcazou
,
Angela Wallenburg
SPARKSkein: A Formal and Fast Reference Implementation of Skein.
SBMF
(2011)