Login / Signup
On the Structure of Verifiable Code Generator Specifications.
Robert Giegerich
Published in:
PLDI (1990)
Keyphrases
</>
code generator
code generation
database
computer aided