A Refinement of the μ-measure for Stack Programs (Q4916234)

From MaRDI portal
scientific article; zbMATH DE number 6156043
Language Label Description Also known as
English
A Refinement of the μ-measure for Stack Programs
scientific article; zbMATH DE number 6156043

    Statements

    Identifiers