Silva. (2021). Computer Aided Verification (1.). Springer International Publishing.
Citazione stile Chigago Style (17a edizione)Silva. Computer Aided Verification. 1. Springer International Publishing, 2021.
Citatione MLA (8a ed.)Silva. Computer Aided Verification. 1. Springer International Publishing, 2021.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.