ID:DA02211776
Logics of Programs and Their Applications, Symposium on
Logics of Programs Workshop
同姓同名の著者を検索
edited by A. Salwicki
Springer-Verlag 1983 Lecture notes in computer science 148
: gw , : us
所蔵館46館