8 research outputs found

    Set Theory and Relations

    No full text

    Specification Qualities

    No full text

    The Z Notation

    No full text

    Larch

    No full text

    Software monitoring through formal specification animation

    No full text
    10.1007/s11334-009-0096-1Innovations in Systems and Software Engineering54231-24

    Reactions of Amino Acids with Acids

    No full text

    Amino Acid Structures

    No full text
    corecore