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. |