Logic of Programs
Workshop on Logic of Programs
-
1980
Logic of Programs 1980
- 23-29 August
- Poznan, Poland
-
Logics of Programs and Their Applications
23 Papers
1 Volume