External Links

    Journal: Automated Software Engineering

    Volume 7, Issue 3

    215 -- 238Jonathan D. Moffett, Andrew Vickers. Behavioural Conflicts in a Causal Specification
    239 -- 261Salwa K. Abd-El-Hafiz. Identifying Objects in Procedural Programs Using Clustering Neural Networks
    263 -- 304Raul Monroy, Alan Bundy, Ian Green. Planning Proofs of Equations in CCS
    305 -- 308Premkumar T. Devanbu. Desert Island Column
    runs on