Experiment in high level language microprogramming and verification.

Saved in:

Bibliographic Details
Title:	Experiment in high level language microprogramming and verification.
Authors:	Patterson, D. A.
Source:	Communications of the ACM; October 1981, Vol. 24, p699-709, 11p
Database:	Applied Science & Technology Source

Description
ISSN:	00010782
DOI:	10.1145/358769.358788