Independent validation of specifications: a coordination headache.

Steve M. Easterbrook, John R. Callahan

Browse the full WETICE paper archive.