APA (7e ed.) Bronvermelding

Hung. (2013). Automated Technology for Verification and Analysis (1.). Springer International Publishing.

Chicago (17e ed.) Bronvermelding

Hung. Automated Technology for Verification and Analysis. 1. Springer International Publishing, 2013.

MLA (8e ed.) Bronvermelding

Hung. Automated Technology for Verification and Analysis. 1. Springer International Publishing, 2013.

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