Výsledky vyhledávání - "programming by contract General Terms Verification Keywords Static verification"

Fractional permissions without the fractions

Autoři: Stefan Heule K. Rustan M. Leino a další

Přispěvatelé: Stefan Heule K. Rustan M. Leino a další

Zdroj: http://research.microsoft.com/en-us/um/people/leino/papers/krml217.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—formal methods, programming by contract General Terms Verification Keywords Static verification

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.2024

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.2024
http://research.microsoft.com/en-us/um/people/leino/papers/krml217.pdf