Dumas, M., & Heckel, R. (2020). Web Services and Formal Methods. Springer Berlin Heidelberg.
Παραπομπή Chicago StyleDumas, Marlon, και Reiko Heckel. Web Services and Formal Methods. Springer Berlin Heidelberg, 2020.
Παραπομπή MLADumas, Marlon, και Reiko Heckel. Web Services and Formal Methods. Springer Berlin Heidelberg, 2020.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.