Validating programs without specifications
Published • Jan 1, 1989
NobleIDNI4P86W87R61S85
Authors:
William E. Howden
Abstract
This work was supported by the Office of Naval Research and the Naval Weapons Center
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!