Veronigue Coelho

According to our database, Veronigue Coelho authored at least 1 paper in 1993.

Collaborative distances:

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

1993

VESAR: A Pragmatic Approach to Formal Specification and Verification.

Bernard Algayres, Veronigue Coelho, Laurent Doldi, Hubert Garavel, Yves Lejeune, Carlos Rodríguez

Comput. Networks ISDN Syst., 1993