Výsledky vyhledávání - Specifying and Verifying and Reasoning about Programs—Mechanical verification

  • Zobrazuji výsledky 1 - 1 z 1
Upřesnit hledání
  1. 1
    Obálka

    Static analysis of arithmetical congruences Autor Granger, Philippe

    ISSN: 0020-7160, 1029-0265
    Vydáno: Abingdon Gordon and Breach Science Publishers 01.01.1989
    “…In this paper, a new kind of static (or semantic) analysis is defined: congruence analysis, which is conceived to discover the properties of the following…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: