1977-07-18
Semantic and proof theory of pascal procedures
Publication
Publication
Presented at the
International Colloquium on Automata, Languages and Programming (July 1977), Turku, Finland
Additional Metadata | |
---|---|
Springer | |
doi.org/10.1007/3-540-08342-1_3 | |
International Colloquium on Automata, Languages and Programming | |
Apt, K., & de Bakker, J. (1977). Semantic and proof theory of pascal procedures. In Lecture Notes in Computer Science (pp. 30–44). Springer. doi:10.1007/3-540-08342-1_3 |