APA (7th ed.) Citation

Maryasov, I. V., Nepomnyaschy, V. A., Promsky, A. V., & Kondratyev, D. A. (2013). Automatic C Program Verification Based on Mixed Axiomatic Semantics. Yaroslavl State University.

Chicago Style (17th ed.) Citation

Maryasov, I. V., V. A. Nepomnyaschy, A. V. Promsky, and D. A. Kondratyev. Automatic C Program Verification Based on Mixed Axiomatic Semantics. Yaroslavl State University, 2013.

MLA (9th ed.) Citation

Maryasov, I. V., et al. Automatic C Program Verification Based on Mixed Axiomatic Semantics. Yaroslavl State University, 2013.