(2020). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.
Style de citation ChicagoVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
Style de citation MLAVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
Attention : ces citations peuvent ne pas être correctes à 100%.