The temporal logic of programs
収録刊行物
-
- Proc. IEEE Symp. on Foundations of Computer Science, 1977
-
Proc. IEEE Symp. on Foundations of Computer Science, 1977 1977
Proc. IEEE Symp. on Foundations of Computer Science, 1977 1977