Păsăreanu. (2013). Formal Aspects of Component Software (1.). Springer Berlin Heidelberg.
Cita Chicago (17th ed.)Păsăreanu. Formal Aspects of Component Software. 1. Springer Berlin Heidelberg, 2013.
Cita MLA (8th ed.)Păsăreanu. Formal Aspects of Component Software. 1. Springer Berlin Heidelberg, 2013.
Atenció: Aquestes cites poden no estar 100% correctes.