APA (7th ed.) Citation

(2000). Advances in formal methods. Kluwer Academic.

Chicago Style (17th ed.) Citation

Advances in Formal Methods. Dordrecht, Netherlands: Kluwer Academic, 2000.

MLA (9th ed.) Citation

Advances in Formal Methods. Kluwer Academic, 2000.