Higher-Order UTP for a Theory of Methods (Q3455652)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Higher-Order UTP for a Theory of Methods
scientific article

    Statements

    Identifiers