Rewriting and verification

Nachum Dershowitz. Rewriting and verification. ACM SIGSOFT Software Engineering Notes, 10(4):60, 1985. [doi]

Authors

Nachum Dershowitz

This author has not been identified. It may be one of the following persons: Look up 'Nachum Dershowitz' in Google