( en | de | ru )

 

Disambiguation of "Young, William D."

Author of the publication

copydeleteadd this publication to your clipboard
Introduction to a Formally Defined Hardware Description Language.

, , and . TPCD, volume A-10 of IFIP Transactions, page 3-35. North-Holland, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

William D Baskett

William D Barker

Grady Leon Young

Christopher Young

Charlotte Young

 

Other publications of authors with the same name

Mathematical Modeling and Analysis of an External Memory Manager., and . FME, volume 1313 of Lecture Notes in Computer Science, page 237-257. Springer, (1997)Steelman and the verifiability of (preliminary) ADA., and . ACM SIGPLAN Notices, 16 (2): 113-119 (1981)Toward the Verification of a Simple Hypervisor, , , , and . ACL2, volume 70 of EPTCS, page 28-45. (2011)Generics and verification in Ada., and . SIGPLAN, page 123-127. ACM, (1980)Toward Verified Execution Environments., , and . S&P, page 106-115. IEEE Computer Society, (1987)Introduction to a Formally Defined Hardware Description Language., , and . TPCD, volume A-10 of IFIP Transactions, page 3-35. North-Holland, (1992)Introducing Abstractions via Rewriting.. CHARME, volume 3725 of Lecture Notes in Computer Science, page 402-405. Springer, (2005)HAL/S/V: a verifiable subset for HAL/S., , , and . ACM SIGPLAN Notices, 16 (3): 102-112 (1981)Coding for a Believable Specification to Implementation Mapping., and . S&P, page 140-149. IEEE Computer Society, (1987)Secure Ada Target: Issues, System Design, and Verification., , , and . S&P, page 176-183. IEEE Computer Society, (1985)