Original language | English |
---|---|
Pages (from-to) | 392-402 |
Journal | Workshops in Computing |
Publication status | Published - 1993 |
An automated proof of the correctness of a compiling specification
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 392-402 |
Journal | Workshops in Computing |
Publication status | Published - 1993 |