Speciality: 05.13.11 (Mathematical and programme software for computers, computer systems, and networks)
E-mail:
Keywords: verification,programming languages,C,C-light,Hoare's metod

Subject:

deductive program verification

Recent publications

Personal pages:

• 
• 
• 
• 
• 
• 

Organisations:

• A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk