(2020). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.
Styl cytowania ChicagoVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
Styl cytowania MLAVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..