(2021). Computer Aided Verification. Springer Nature.
Uspješno je kopirano u međuspremnik
Kopiranje u međuspremnik neuspjelo
Čikaški stil citiranja (17. izdanje)
Computer Aided Verification. Springer Nature, 2021.
Uspješno je kopirano u međuspremnik
Kopiranje u međuspremnik neuspjelo
MLA način citiranja (9. izdanje)
Computer Aided Verification. Springer Nature, 2021.
Uspješno je kopirano u međuspremnik
Kopiranje u međuspremnik neuspjelo
Upozorenje: Ovi citati možda nisu uvijek 100% točni.