Formal Techniques for Distributed Objects, Components, and Systems

MLA

Bouajjani, and Alexandra Silva. Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, 2017.

APA

Bouajjani, B., & Silva, A. (2017). Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing.

Chicago

Bouajjani, and Alexandra Silva. Formal Techniques for Distributed Objects, Components, and Systems. : Springer International Publishing, 2017.