Search Results - D. A. Kondratyev

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

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

    Get full text
    Article


  2. 2

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

    Get full text
    Article


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

    Get full text
    Article


Search Tools: