Formal Techniques for Distributed Objects, Components, and Systems

MLA

Elvira Albert, Ivan Lanese, and Ivan Lanese. Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, 2016.

APA

Elvira Albert, I. Lanese, & Lanese, I. (2016). Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing.

Chicago

Elvira Albert, Ivan Lanese, and Ivan Lanese. Formal Techniques for Distributed Objects, Components, and Systems. : Springer International Publishing, 2016.