Login / Signup

Verification of Protocols Using Symbolic Execution.

Daniel BrandWilliam H. Joyner Jr.
Published in: Comput. Networks (1978)
Keyphrases