KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (Q3454119)

From MaRDI portal
scientific article
Language Label Description Also known as
English
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS
scientific article

    Statements

    Identifiers