APA (7e ed.) Bronvermelding

Giacobazzi. (2013). Verification, Model Checking, and Abstract Interpretation (1.). Springer Berlin Heidelberg.

Chicago (17e ed.) Bronvermelding

Giacobazzi. Verification, Model Checking, and Abstract Interpretation. 1. Springer Berlin Heidelberg, 2013.

MLA (8e ed.) Bronvermelding

Giacobazzi. Verification, Model Checking, and Abstract Interpretation. 1. Springer Berlin Heidelberg, 2013.

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