ID:DA16988464
International Conference on Formal Methods for Open Object-Based Distributed Systems
IFIP WG 6.1 International Conference, FMOODS
同姓同名の著者を検索
John Hatcliff, Elena Zucca (eds.)
Springer c2010 Lecture notes in computer science 6117
所蔵館1館