Author of the publication

A General, Verifiable Iterative Control Structure.

. IEEE Trans. Software Eng., 3 (2): 144-149 (1977)

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 General, Verifiable Iterative Control Structure.. IEEE Trans. Software Eng., 3 (2): 144-149 (1977)On Proof Rules for Monitors., and . Operating Systems Review, 16 (2): 18-27 (1982)Reply: Operating System Review 16(4): 8-9 (1982).A State-of-the-Art CS Undergraduate Lab., and . CSEE, volume 423 of Lecture Notes in Computer Science, page 85-94. Springer, (1990)Textual materials for courses in computers and society (SIGCAS)., , , , and . ACM Annual Conference, page 105. ACM, (1980)Converting from Pascal to Modula-2 in the undergraduate curriculum., , and . SIGCSE, page 50-52. ACM, (1986)Publishing a computer science textbook (panel session)., , , , , , , , and . ACM Conference on Computer Science, page 397-398. ACM, (1986)Assertional checking and symbolic execution: An effective combination for debugging., , and . ACM Annual Conference, page 152-156. ACM, (1979)Using concept expansion and level integration in an introductory computer science course., and . SIGCSE, page 244-248. ACM, (1988)