Login / Signup

Programming in the META-Language: A Tutorial.

Dines Bjørner
Published in: The Vienna Development Method: The Meta-Language (1978)
Keyphrases