(2020). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.
Παραπομπή Chicago StyleAutomated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
Παραπομπή MLAAutomated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.