Gaya APA
Silva, A., Leino, K, R, M. (2021).
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I .
:
Springer Nature.
Gaya MLA
Silva, Alexandra., Leino, K., Rustan, M..
"Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I".
:
Springer Nature,
2021.
Prodi S1 Teknik Informatika.