Computer Aided Design of Software Systems.

R. R. Willis, E. P. Jensen

Browse the full ICSE paper archive.