Andrew Currie

According to our database, Andrew Currie authored at least 1 paper in 2001.

Collaborative distances:

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

2001

How to Make FDR Spin LTL Model Checking of CSP by Refinement.

Michael Leuschel, Thierry Massart, Andrew Currie

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001