Beckert. (2013). Formal Methods for Components and Objects (1.). Springer Berlin Heidelberg.
Cita Chicago (17th ed.)Beckert. Formal Methods for Components and Objects. 1. Springer Berlin Heidelberg, 2013.
Cita MLA (8th ed.)Beckert. Formal Methods for Components and Objects. 1. Springer Berlin Heidelberg, 2013.
Atenció: Aquestes cites poden no estar 100% correctes.