A first course in program verification and the semantics of programming languages
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Laboratory activities for studying the formal semantics of programming languages
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
The design, implementation, and use of DSTutor: a tutoring system for denotational semantics
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
| Hi-index | 0.00 |