Anureev I. Integrated approach to analysis and verification of imperative programs // Computer Science. — 2011 . — # 32.  — P. 1-18
Anureev I. Introduction to the Atoment language // Computer Science. — 2010 . — # 31.  — P. 1-16
Subscribe to program verification