Gaya APA
Păsăreanu, C, S., Salaün, G. (2013).
Formal Aspects of Component Software .
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Păsăreanu, Corina, S.., Salaün, Gwen.
"Formal Aspects of Component Software".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.