(2020). Web Services and Formal Methods. Springer Berlin Heidelberg.
Chicago-tyylinen lähdeviittausWeb Services and Formal Methods. Springer Berlin Heidelberg, 2020.
MLA-viiteWeb Services and Formal Methods. Springer Berlin Heidelberg, 2020.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.