ID:DA16555401
FORmal Methods and TESTing Network
同姓同名の著者を検索
Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)
Springer c2008 Lecture notes in computer science 4949 . LNCS sublibrary ; SL2 ; Programming and software engineering
所蔵館1館