(2020). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.
Styl cytowania ChicagoAutomated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
Styl cytowania MLAAutomated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..