Login / Signup

An Executable Subset of Meta-IV with Loose Specification.

Peter Gorm LarsenPoul Bøgh Lassen
Published in: VDM Europe (1) (1991)
Keyphrases