Chernenko, I. M., & Anureev, I. S. (2024). Pattern-based approach to automation of deductive verification of process-oriented programs: Patterns, lemmas and algorithms. Yaroslavl State University.
Chicago Style (17th ed.) CitationChernenko, Ivan M., and Igor S. Anureev. Pattern-based Approach to Automation of Deductive Verification of Process-oriented Programs: Patterns, Lemmas and Algorithms. Yaroslavl State University, 2024.
MLA (9th ed.) CitationChernenko, Ivan M., and Igor S. Anureev. Pattern-based Approach to Automation of Deductive Verification of Process-oriented Programs: Patterns, Lemmas and Algorithms. Yaroslavl State University, 2024.
Warning: These citations may not always be 100% accurate.