Title: Protocol specification, testing, and verification
Subjects: Computer network protocols, Congresses