Risultati della ricerca - A. V. Promsky

  • Mostra 1 - 5 risultati su 5
Raffina i risultati
Lista   Griglia  
  1. 1

    C Program Verification: VC Explanation and the Standard Library di A. V. Promsky

    Pubblicazione 2011-12-01
    Testo
    Artigo
    Aggiungi alla lista
    Salvato in:
  2. 2

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

    Pubblicazione 2014-12-01
    Testo
    Artigo
    Aggiungi alla lista
    Salvato in:
  3. 3

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

    Pubblicazione 2013-01-01
    Testo
    Artigo
    Aggiungi alla lista
    Salvato in:
  4. 4

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

    Pubblicazione 2013-12-01
    Testo
    Artigo
    Aggiungi alla lista
    Salvato in:
  5. 5

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

    Pubblicazione 2010-12-01
    Testo
    Artigo
    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: