Works matching DE "Z (Computer program language)"

Results: 4
    1
    2

    Investigating Z.

    Published in:
    Journal of Logic & Computation, 2000, v. 10, n. 1, doi. 10.1093/logcom/10.1.43
    By:
    • Henson, MC;
    • Henson, Martin C.;
    • Reeves, S;
    • Reeves, Steve
    Publication type:
    Article
    3

    Sets, types and type-checking.

    Published in:
    Journal of Logic & Computation, 1999, v. 9, n. 6, doi. 10.1093/logcom/9.6.959
    By:
    • Turner, R;
    • Turner, Raymond
    Publication type:
    Article
    4