Login / Signup

Formal specification and verification of a procedural protocol: case study.

Richard Lai
Published in: Softw. Eng. J. (1995)
Keyphrases