1983
An axiomatization of the intermittent assertion method using temporal logic
Publication
Publication
Presented at the
International Colloquium on Automata, Languages and Programming
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
International Colloquium on Automata, Languages and Programming | |
Apt, K., & Delporte, C. (1983). An axiomatization of the intermittent assertion method using temporal logic. In Proceedings of Automata, Languages and Programming, International Colloquium 1983 (pp. 15–27). Springer. |