Păsăreanu. (2013). Formal Aspects of Component Software (1.). Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationPăsăreanu. Formal Aspects of Component Software. 1. Springer Berlin Heidelberg, 2013.
MLA (8th ed.) CitationPăsăreanu. Formal Aspects of Component Software. 1. Springer Berlin Heidelberg, 2013.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.