Login / Signup

The Term Graph Programming System HOPS.

Wolfram Kahl
Published in: Tool Support for System Specification, Development and Verification (1998)
Keyphrases