Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting

Sorry, there's nothing here.

Cite this paper

@inproceedings{Buth1988CorrectnessPF, title={Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting}, author={Bettina Buth and Karl-Heinz Buth}, booktitle={VDM Europe}, year={1988} }