Eric Botcazou

According to our database, Eric Botcazou authored at least 2 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Lady Ada Mediates Peace Treaty in Endianness War.

Thomas Quinot, Eric Botcazou

Proceedings of the Reliable Software Technologies, 2013

2011

SPARKSkein: A Formal and Fast Reference Implementation of Skein.

Roderick Chapman, Eric Botcazou, Angela Wallenburg

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011