Citação norma APA

Dams, D. R. (1996). Abstract interpretation and partition refinement for model checking. Technische Universiteit Eindhoven.

Citação norma Chicago

Dams, Dennis René. Abstract Interpretation and Partition Refinement for Model Checking. Netherlands: Technische Universiteit Eindhoven, 1996.

Citação norma MLA

Dams, Dennis René. Abstract Interpretation and Partition Refinement for Model Checking. Technische Universiteit Eindhoven, 1996.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.