APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Bérard, Béatrice. Systems and Software Verification: Model-checking Techniques and Tools. Berlin, New York: Springer, 2001.

MLA (8th ed.) Citation

Bérard, Béatrice. Systems and Software Verification: Model-checking Techniques and Tools. Springer, 2001.