APA (7th ed.) Citation

Moffat, N., & Goldsmith, M. (2008). Assumption–Commitment Support for CSP Model Checking.

Chicago Style (17th ed.) Citation

Moffat, N., and M. Goldsmith. Assumption–Commitment Support for CSP Model Checking. 2008.

MLA (9th ed.) Citation

Moffat, N., and M. Goldsmith. Assumption–Commitment Support for CSP Model Checking. 2008.

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