Author Search Results :: UTM Library Massive Scholar Tracking

1

Loop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs by I. V. Maryasov, V. A. Nepomniaschy

Published 2015-12-01

Get full text

Article
2

C-programs Verification on Basis of Mixed Axiomatic Semantics by I. S. Anureev, I. V. Maryasov, V. A. Nepomniaschy

Published 2010-09-01

Get full text

Article
3

Automatic C Program Verification Based on Mixed Axiomatic Semantics by I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev

Published 2013-01-01

Get full text

Article
4

Automatic C Program Verification Based on Mixed Axiomatic Semantics by I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev

Published 2013-12-01

Get full text

Article
5

C Program Verication in the Multilanguage System Spectrum by V. A. Nepomniashy, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promsky

Published 2010-12-01

Get full text

Article