From post

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.

 

Другие публикации лиц с тем же именем

Evaluating the effectiveness of software verification: pratical experience with an automated tool., и . AFIPS Fall Joint Computing Conference (1), том 41 из AFIPS Conference Proceedings, стр. 181-190. AFIPS / ACM / Thomson Book Company, Washington D.C., (1972)A Graph Theoretic Approach to the Verification of Program Structures., и . ICSE, стр. 136-141. IEEE Computer Society, (1978)Testing for software reliability., и . Reliable Software, стр. 518-527. ACM, (1975)Percivall Pott (1714-1788) and Chimney Sweepers’ Cancer of the Scrotum., и . British Journal of Industrial Medicine, 14 (1): 68-70 (января 1957)ASSET: A Lifecycle Verification and Visibility System., , и . COMPSAC, стр. 30-35. IEEE, (1978)ASSET: A life cycle verification and visibility system., , и . J. Syst. Softw., (1979)Electronic Brains and the Legal Mind: Computing the Data Computer's Collision with Law. The Yale Law Journal, 71 (2): 239--254 (Dezember 1961)Structured Programming: Agony and/or Ecstacy.. Computer, 8 (6): 56-57 (1975)Quantitative Evaluation of Software Quality., , и . ICSE, стр. 592-605. IEEE Computer Society, (1976)Perspectives on software quality assurance (Panel)., , и . ACM Annual Conference, стр. 564-565. ACM, (1985)