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. Proceedings of Logics of Programs 1984, 1–17. |
|