Structural Abstract Interpretation: A Formal Study Using Coq (Q5191090)

From MaRDI portal
scientific article; zbMATH DE number 5587921
Language Label Description Also known as
English
Structural Abstract Interpretation: A Formal Study Using Coq
scientific article; zbMATH DE number 5587921

    Statements