Protocol Specification, Testing, and Verification

Protocol Specification, Testing, and Verification. 1983.

Conference: ifip