(2020). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.
Chicago Stili AlıntıVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
MLA AlıntıVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..