Olivier Thiry

According to our database, Olivier Thiry authored at least 1 paper in 1996.

Collaborative distances:

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

1996

A formal verification technique for embedded software.

Olivier Thiry, Luc J. M. Claesen

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996