External Links

    Journal: Automated Software Engineering

    Volume 7, Issue 4

    315 -- 343Tim Wahls, Gary T. Leavens, Albert L. Baker. Executing Formal Specifications with Concurrent Constraint Programming
    345 -- 376Sandrine Blazy. Specifying and Automatically Generating a Specialization Tool for Fortran 90
    377 -- 380John Mylopoulos. Desert Island Column: A Trip to Carthea
    runs on