APA citiranje

Groce, A., Kroening, D., & Lerda, F. (2004). Understanding Counterexamples with explain.

Chicago Style (17th ed.) Citation

Groce, A., D. Kroening, and F. Lerda. Understanding Counterexamples with Explain. 2004.

MLA citiranje

Groce, A., et al. Understanding Counterexamples with Explain. 2004.