7th international conference on Automated deduction

proceedings

International Symposium on Programming

6th colloquium, Toulouse, April 17-19, 1984

STACS 84

Symposium of Theoretical Aspects of Computer Science, Paris [April] 11-13, 1984

Verifying concurrent processes using temporal logic

An analytical description of CHILL, the CCITT high level language