2006
Formal Methods for Components and Objects
Publication
Publication
| Additional Metadata | |
|---|---|
| Elsevier B.V. | |
| Electronic Notes in Theoretical Computer Science | |
| Organisation | Computer Security |
|
de Boer, F., & Bonsangue, M. (2006). Formal Methods for Components and Objects. Electronic Notes in Theoretical Computer Science. Elsevier B.V. |
|