Dubranovsky Igor

Search

By title

By abstract

By keywords

By author

By series

Bu issue

By year

Igor V. Dubranovsky

E-mail

List of Articles:

Nepomniaschy V. Anureev I. Dubranovsky I. Promsky A. A three-level approach to C# program verification // Computer Science. — 2004 . — # 20. — P. 61-85

Dubranovsky I. An extensible analyzer of subroutines in imperative languages // Computer Science. — 2001 . — # 15. — P. 65-81