(2024). Computer Aided Verification. Springer Nature.
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
Chicago-viite (17. p.)
Computer Aided Verification. Springer Nature, 2024.
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
MLA-viite (9. p.)
Computer Aided Verification. Springer Nature, 2024.
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.