APA (7th ed.) Citation

Bowen, J. P. (1994). Towards verified systems. Elsevier.

Chicago Style (17th ed.) Citation

Bowen, J. P. Towards Verified Systems. Amsterdam ; New York: Elsevier, 1994.

MLA (9th ed.) Citation

Bowen, J. P. Towards Verified Systems. Elsevier, 1994.

Warning: These citations may not always be 100% accurate.