Author of the publication

Software validation and verification - a state of the art report(Panel Discussion).

, , , , , and . ACM Annual Conference (2), page 781. ACM, (1978)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Evaluation of design methodologies., , , , , , , , , and . ACM SIGSOFT Softw. Eng. Notes, 7 (1): 56-69 (1982)Anintroduction to Ada.. ACM Annual Conference, page 78-81. ACM, (1981)A software quality assurance experiment., and . SIGMETRICS Perform. Evaluation Rev., 7 (3-4): 87-91 (1978)Computer graphics in an automatic aircraft landing system., and . AFIPS National Computer Conference, volume 45 of AFIPS Conference Proceedings, page 689-700. AFIPS Press, (1976)Software validation and verification - a state of the art report(Panel Discussion)., , , , , and . ACM Annual Conference (2), page 781. ACM, (1978)An introduction to ADA (Part II).. ACM Annual Conference, page 115. ACM, (1981)Future Ada environments.. AFIPS National Computer Conference, page 57-63. AFIPS Press, (1983)Issues in Ada's future sponsored by ACM/adatc (Panel Discussion).. ACM Annual Conference, page 118-120. ACM, (1982)Software verification and validation in practice and theory (Position Statement).. ACM Annual Conference (2), page 784-785. ACM, (1978)