![](/img/cover-not-exists.png)
[IEEE 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) - Providence, RI, USA (1977.10.31-1977.11.2)] 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) - The temporal logic of programs
Pnueli, AmirYear:
1977
Language:
english
DOI:
10.1109/sfcs.1977.32
File:
PDF, 1.54 MB
english, 1977