Ett treff

Symposium on Logics of Programs and their Applications
Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980
Symposium on Logics of Programs and their Applications
Bok Engelsk 1983