Institutional Repository

Browsing 1987 4th Southern African Computer Symposium by Author "Kourie D.G."

Browsing 1987 4th Southern African Computer Symposium by Author "Kourie D.G."

Sort by: Order: Results:

  • The design and use of a Prolog trace generator for CSP 
    Kourie, DG (1987)
    The role of traces in the context of formal description techniques is discussed, as well as issues arising in the generation of these traces by means of software. A trace generator (written in Prolog) for systems described ...

Search UnisaIR


Browse

My Account