APA (7th ed.) Citation

Akhin, M., Belyaev, M., & Itsykson, V. (2013). Defect Detection: Combining Bounded Model Checking and Code Contracts. Yaroslavl State University.

Chicago Style (17th ed.) Citation

Akhin, Marat, Mikhail Belyaev, and Vladimir Itsykson. Defect Detection: Combining Bounded Model Checking and Code Contracts. Yaroslavl State University, 2013.

MLA (9th ed.) Citation

Akhin, Marat, et al. Defect Detection: Combining Bounded Model Checking and Code Contracts. Yaroslavl State University, 2013.