To maintain a reliable software specification.

J. Jenny Li, Joseph R. Horgan

Browse the full ISSRE paper archive.