Author of the publication

Needed foundations for assuring the desirable behavior of software-reliant systems.

, , , and . FoSER, page 259-262. ACM, (2010)

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

The Ada compiler validation capability.. SIGPLAN, page 1-8. ACM, (1980)Biography of Jules I. Schwartz.. HOPL, page 401. Academic Press / ACM, (1978)Biography of Douglas T. Ross.. HOPL, page 367. Academic Press / ACM, (1978)A lightpen-controlled program for online data analysis.. Commun. ACM, 8 (2): 130-134 (1965)Tools for modular programming: Finding out what's needed.. ACM Annual Conference, ACM, (1973)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)Building confidence in system behavior.. HILT, page 49-50. ACM, (2013)Ada Compiler Technology.. COMPCON, page 366. IEEE Computer Society, (1987)Real-time tasking semantics working group.. IRTAW, page 32-48. ACM, (1989)