Frédéric Mangano

According to our database, Frédéric Mangano authored at least 1 paper in 2016.

Collaborative distances:

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

2016

Formal Verification of a Memory Allocation Module of Contiki with Frama-C: A Case Study.

Frédéric Mangano, Simon Duquennoy, Nikolai Kosmatov

Proceedings of the Risks and Security of Internet and Systems, 2016