The Harlan D. Mills Collection
Abstract Semantics for Sequential Programs
Document Type
Report
Publication Date
November 1984
Recommended Citation
Mills, Harlan D., "Abstract Semantics for Sequential Programs " (1984). The Harlan D. Mills Collection.
https://trace.tennessee.edu/utk_harlan/61
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.