Shoham. (2022). Computer Aided Verification (1.). Springer International Publishing.
Cytowanie według stylu Chicago (wyd. 17)Shoham. Computer Aided Verification. 1. Springer International Publishing, 2022.
Cytowanie według stylu MLA (wyd. 8)Shoham. Computer Aided Verification. 1. Springer International Publishing, 2022.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..