Editor(s):
|
Boer, F.S. de; Bonsangue, M.M.; Graf, S.; Roever, W.-P. de
|
Subject:
|
Informatics for Technical Applications Software Technology |
Organization:
|
Informatics for Technical Applications |
Book title:
|
Boer, F.S. de; Bonsangue, M.M.; Graf, S. (ed.), Formal Methods of Components and Objects -- FMCO 2006 |