ID:DA02211765
Symposium on Logics of Programs and Their Applications
同姓同名の著者を検索
edited by Edmund Clarke and Dexter Kozen
Springer-Verlag 1984 Lecture notes in computer science 164
: gw , : us
所蔵館54館
edited by Dexter Kozen
Springer-Verlag 1982 Lecture notes in computer science 131
所蔵館57館