(2020). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.
Chicago Stili AlıntıAutomated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
MLA AlıntıAutomated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..