ArcAngel: a tactic language for refinement (Q706504)

From MaRDI portal
scientific article
Language Label Description Also known as
English
ArcAngel: a tactic language for refinement
scientific article

    Statements

    ArcAngel: a tactic language for refinement (English)
    0 references
    0 references
    0 references
    0 references
    8 February 2005
    0 references
    0 references
    Formal methods
    0 references
    Program development
    0 references
    Refinement calculus
    0 references
    0 references