"Logics of Programs and Their Applications, Proceedings, Poznan, Poland, ..."

Andrzej Salwicki (1983)

Details and statistics

DOI: 10.1007/3-540-11981-7

access: closed

type: Editorship

metadata version: 2019-05-14

a service of  Schloss Dagstuhl - Leibniz Center for Informatics