APA stil citiranja

Dasgupta, P. (2006). A roadmap for formal property verification: A roadmap for formal property verification. Dordrecht: Springer.

Chicago stil citiranja

Dasgupta, Pallab. A roadmap for formal property verification: A roadmap for formal property verification. Dordrecht: Springer, 2006.

MLA stil citiranja

Dasgupta, Pallab. A roadmap for formal property verification: A roadmap for formal property verification. Dordrecht: Springer, 2006.

Napomena: Ova citiranost nije uvijek 100% točna.