Search Results - D. A. Kondratyev

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Towards the ’Verified Verifier’. Theory and Practice

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

    Published 2014-12-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Automatic C Program Verification Based on Mixed Axiomatic Semantics

    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

    Save to List
    Saved in:
  3. 3
    Systematic review and meta-analysis of <i>in situ</i> versus composite bimammary coronary artery bypass grafting: immediate outcomes and 30-day mortality

    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

    Save to List
    Saved in:

Search Tools: