Guarded Transitions in Evolving Specifications (Q2996129)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Guarded Transitions in Evolving Specifications
scientific article

    Statements