INFERENCE RULES FOR PROGRAM ANNOTATION.

Nachum Dershowitz, Zoher Manna

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