APA Citation

Barthe, G. (2020). Formal Methods for Open Object-Based Distributed Systems. Springer Berlin Heidelberg.

Chicago Style Citation

Barthe, Gilles. Formal Methods for Open Object-Based Distributed Systems. Springer Berlin Heidelberg, 2020.

MLA Citation

Barthe, Gilles. Formal Methods for Open Object-Based Distributed Systems. Springer Berlin Heidelberg, 2020.

Warning: These citations may not always be 100% accurate.