VESAR: a pragmatic approach to formal specification and verification

• Authors:

• B. Algayres;V. Coelho;L. Doldi;H. Garavel;Y. Lejeune;C. Rodríguez

• Affiliations:

• -;-;-;-;-;-

• Venue:
• Computer Networks and ISDN Systems - Special issue on tools for FDTs
• Year:
• 1993