Formal methods and software engineering: 12th International Conference on Formal Engineeri… by International Conference on Formal Engineering Methods. <12, 2010, Shanghai> fromLecture Notes in Computer Science 0 Type: Book
*Research directions in concurrent object-oriented programming by Yonezawa, Akinori, Agha, Gul A., Wegner, Peter 0 Type: Book
