WebNFS Client Specification.

Brent Callaghan

Published in: RFC (1996)

Keyphrases

client server
high level
formal specification
real time
neural network
object oriented
formal methods
specification language
formal verification
ip address
provably correct