INFERENCE RULES FOR PROGRAM ANNOTATION.

Nachum Dershowitz*, Zoher Manna

*Corresponding author for this work

Research output: Contribution to conferencePaperpeer-review

Fingerprint

Dive into the research topics of 'INFERENCE RULES FOR PROGRAM ANNOTATION.'. Together they form a unique fingerprint.

Engineering & Materials Science