Valery A. Nepomnyaschy

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Default Reasoning

Axiomatic Characterization

Top Venues

Autom. Control. Comput. Sci.

Publications

Ilya V. Maryasov, Valery A. Nepomnyaschy, Alexey V. Promsky, Dmitry A. Kondratyev
Automatic C program verification based on mixed axiomatic semantics. Autom. Control. Comput. Sci. 48 (7) (2014)