An approach for evaluating formal description techniques

• Authors:

• Ari Ahtiainen;S. Alfonzetti;V. Chari;Mats Daniels;Michel Diaz;Alberto Faro;Hans A. Hansson;Guy Juanole;U. Karjalainen;Gesualdo Le Moli;Juhani Malka;Sergio Palazzo;O. Pereda

• Affiliations:

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

• Venue:
• Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
• Year:
• 1985