Παραπομπή APA

Berard, B. (2001). Systems and software verification: Model-checking techniques and tools. Berlin: Springer.

Παραπομπή Chicago Style

Berard, B. Systems and Software Verification: Model-checking Techniques and Tools. Berlin: Springer, 2001.

Παραπομπή MLA

Berard, B. Systems and Software Verification: Model-checking Techniques and Tools. Berlin: Springer, 2001.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.