Shape Analysis for Composite Data Structures (Q5429321)

From MaRDI portal
scientific article; zbMATH DE number 5216227
Language Label Description Also known as
English
Shape Analysis for Composite Data Structures
scientific article; zbMATH DE number 5216227

    Statements

    Shape Analysis for Composite Data Structures (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    29 November 2007
    0 references

    Identifiers