Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Color Engineer.. Color Imaging Conference, Seite 99-100. IS&T - The Society for Imaging Science and Technology, (1993)JANUS: An Interactive Document Formatter Based on Declarative Tags., , , , , , und . IBM Systems Journal, 21 (3): 250-271 (1982)Panel: limitations of language design for reliable software.. ACM SIGSOFT Softw. Eng. Notes, 2 (3): 11-12 (1977)A new approach to program testing.. Reliable Software, Seite 228-233. ACM, (1975)Prospects for Program Verification (Tutorial).. ICSE, Seite 71. IEEE Computer Society, (1978)An Interpretation-Oriented Theorem Prover over Integers., und . J. Comput. Syst. Sci., 6 (4): 305-323 (1972)Symbolic Execution and Program Testing.. Commun. ACM, 19 (7): 385-394 (1976)An Introduction to Proving the Correctness of Programs., und . ACM Comput. Surv., 8 (3): 331-353 (1976)A New Approach to Program Testing.. Programming Methodology, Volume 23 von Lecture Notes in Computer Science, Seite 278-290. Springer, (1974)Program Correctness: On Inductive Assertion Methods.. IEEE Trans. Software Eng., 6 (5): 465-479 (1980)