APA (7e ed.) Bronvermelding

Dillig. (2019). Computer Aided Verification (1.). Springer International Publishing.

Chicago (17e ed.) Bronvermelding

Dillig. Computer Aided Verification. 1. Springer International Publishing, 2019.

MLA (8e ed.) Bronvermelding

Dillig. Computer Aided Verification. 1. Springer International Publishing, 2019.

Let op: Deze citaties zijn niet altijd 100% accuraat.