Author of the publication

The Deductive Theory Manager: A Knowledge Based System for Formal Verification.

, , , , , and . S&P, page 306-318. IEEE Computer Society, (1990)

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 Layered TCB Implementation versus the Hinke-Schaefer Approach., , , , and . DBSec, page 151-165. North-Holland, (1989)Specification-to-Code Correlation.. S&P, page 81-85. IEEE Computer Society, (1982)The Deductive Theory Manager: A Knowledge Based System for Formal Verification., , , , , and . S&P, page 306-318. IEEE Computer Society, (1990)Leading a Child to a Computer Culture.. SIGCSE-SIGCUE, page 79-83. ACM, (1976)Objective Methods for Reliable Detection of Concealed Depression., , , and . Frontiers ICT, (2015)What's in it for kids?. CHI Conference Summary, page 44-45. ACM, (1998)A case study of a young child doing turtle graphics in LOGO., and . AFIPS National Computer Conference, volume 45 of AFIPS Conference Proceedings, page 1049-1056. AFIPS Press, (1976)Ultimate trainer: instructional feedback for ultimate frisbee players., , and . TEI, page 137-140. ACM, (2014)Designing educational computer environment for children (abstract)., and . CHI 95 Conference Companion, page 379-380. ACM, (1995)