Sign in

Using Relations to Solve the RPC-Memory Specification Problem.

Ketil Stølen
Published in: Formal Systems Specification (1994)
Keyphrases