APA (7th ed.) Citation

Probert, P., & Lamb, D. (1991). Validation methods using formal techniques. Publ by IEE.

Chicago Style (17th ed.) Citation

Probert, P., and D. Lamb. Validation Methods Using Formal Techniques. Publ by IEE, 1991.

MLA (9th ed.) Citation

Probert, P., and D. Lamb. Validation Methods Using Formal Techniques. Publ by IEE, 1991.

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