An Approach to Automatic Proof Support for Code Generator Verification.

Bettina Buth Karl-Heinz Buth

Published in: Code Generation (1991)

Keyphrases

code generator
data driven
database
databases
e learning
object oriented
software engineering
open source
data processing
data types
automatically generated