(2020). Computer Aided Verification. Springer Berlin Heidelberg.
Styl cytowania ChicagoComputer Aided Verification. Springer Berlin Heidelberg, 2020.
Styl cytowania MLAComputer Aided Verification. Springer Berlin Heidelberg, 2020.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..