ID:DA02975409
同姓同名の著者を検索
edited by A. van Lamsweerde, P. Dufour
Academic Press 1987 International lecture series in computer science
所蔵館22館