Da Silva, F. Q. (1992). Correctness proofs of compilers and debuggers: An overview of an approach based on structural operational semantics.
Chicago-Zitierstil (17. Ausg.)Da Silva, Fabio Q. Correctness Proofs of Compilers and Debuggers: An Overview of an Approach Based on Structural Operational Semantics. Edinburgh, 1992.
MLA-Zitierstil (9. Ausg.)Da Silva, Fabio Q. Correctness Proofs of Compilers and Debuggers: An Overview of an Approach Based on Structural Operational Semantics. 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.