John Peter Van Tassel
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Femto-VHDL: The Semantics of a Subset of VHDL and its Embedding in the HOL Proof Assistant
John Peter Van Tassel (1993)