Author Search Results :: UTM Library Massive Scholar Tracking

1

Towards the ’Verified Verifier’. Theory and Practice by D. A. Kondratyev, A. V. Promsky

Published 2014-12-01

Get full text

Article
2

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
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-12-01

Get full text

Article
4

Systematic review and meta-analysis of <i>in situ</i> versus composite bimammary coronary artery bypass grafting: immediate outcomes and 30-day mortality by S. T. Enginoev, D. A. Kondratyev, G. M. Magomedov, S. S. Ekimov, A. A. Zenkov, А. P. Motreva, B. K. Kadyraliev, I. I. Chernov, D. G. Tarasov

Published 2021-07-01

Get full text

Article