APA (7th ed.) Citation

Hinchey, M. G., & Bowen, J. P. (1999). Industrial-Strength Formal Methods in Practice. Springer London : Imprint : Springer.

Chicago Style (17th ed.) Citation

Hinchey, Michael G., and Jonathan P. Bowen. Industrial-Strength Formal Methods in Practice. London: Springer London : Imprint : Springer, 1999.

MLA (9th ed.) Citation

Hinchey, Michael G., and Jonathan P. Bowen. Industrial-Strength Formal Methods in Practice. Springer London : Imprint : Springer, 1999.