imperative programming language for writing verifiable programs English
edit
Language Label Description Also known as
British English
No label defined
No description defined

    Statements

    Q92644 (Deleted Item)
    0 references
    Q275596 (Deleted Item)
    0 references
    Q223335 (Deleted Item)
    0 references
    Q193076 (Deleted Item)
    0 references
    /m/03fbrg
    0 references