Informal verification of correctness of the scanner module of an interpreter program

K-REx Repository

This item appears in the following Collection(s)