The Harlan D. Mills Collection

Title

Abstract Semantics for Sequential Programs

Authors

Harlan D. Mills

Document Type

Report

Publication Date

November 1984

Comments

Publication year for this unpublished item is indicated as 1984 because it is listed on a bibliography of Dr. Mills's works compiled and dated as of November 13, 1984. Please contact us if you have any additional information on the date or the full text for this item.

This document is currently not available here.

Files over 3MB may be slow to open. For best results, right-click and select "save as..."

Share

COinS