1984
A static analysis of VSP programs
Publication
Publication
Presented at the
Logics of Programs
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
Logics of Programs | |
Apt, K. (1984). A static analysis of VSP programs. In Proceedings of Logics of Programs 1984 (pp. 1–17). Springer. |