APA (7th ed.) Citation

Chisholm, G. H., Smith, B. T., & Wojcik, A. S. (1989). An automated reasoning problem associated with proving claims about programs using Floyd-Hoare inductive assertion methods. Springer.

Chicago Style (17th ed.) Citation

Chisholm, G. H., B. T. Smith, and A. S. Wojcik. An Automated Reasoning Problem Associated with Proving Claims About Programs Using Floyd-Hoare Inductive Assertion Methods. Springer, 1989.

MLA (9th ed.) Citation

Chisholm, G. H., et al. An Automated Reasoning Problem Associated with Proving Claims About Programs Using Floyd-Hoare Inductive Assertion Methods. Springer, 1989.