Automated testing of protocol specifications and their implementations

• 1 January 1984
• proceedings article
• Published by Association for Computing Machinery (ACM)
• Vol. 14  (2) , 149-155
• https://doi.org/10.1145/800056.802072

Abstract