Výsledky vyhľadávania - Specifying and Verifying and Reasoning about Programs—Mechanical verification

Static analysis of arithmetical congruences Autor Granger, Philippe

“…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ískať plný text