Nicolas Rousset

According to our database, Nicolas Rousset authored at least 1 paper in 2006.

Collaborative distances:

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

2006

Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears.

Claude Marché, Nicolas Rousset

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006