Login / Signup

Metal: A Formalism to Specify Formalisms.

Gilles KahnBernard LangBertrand MeleseElham Morcos
Published in: Sci. Comput. Program. (1983)
Keyphrases