Author of the publication

Eliminative induction: a basis for arguing system confidence.

, , and . ICSE, page 1161-1164. IEEE Computer Society, (2013)

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

A lightpen-controlled program for online data analysis.. Commun. ACM, 8 (2): 130-134 (1965)Biography of Jules I. Schwartz.. HOPL, page 401. Academic Press / ACM, (1978)Biography of Douglas T. Ross.. HOPL, page 367. Academic Press / ACM, (1978)The Ada compiler validation capability.. SIGPLAN, page 1-8. ACM, (1980)Tools for modular programming: Finding out what's needed.. ACM Annual Conference, ACM, (1973)A practical application of the ceiling protocol in a real-time system., and . IRTAW, page 35-38. ACM, (1988)Ada usage/performance specification., and . IRTAW, page 65-69. ACM, (1990)Real-time tasking semantics working group.. IRTAW, page 32-48. ACM, (1989)Exception Handling: Issues and a Proposed Notation.. Commun. ACM, 18 (12): 683-696 (1975)The need for optimization standards.. Design and Implementation of Programming Languages, volume 54 of Lecture Notes in Computer Science, page 335-344. Springer, (1976)