ISNI: |
0000 0001 3542 483X
https://isni.org/isni/000000013542483X
|
Name: |
Van Tassel, John Peter |
Creation class: |
Text |
Creation role: |
author |
Related names: |
University of Cambridge |
Titles: |
Femto-VHDL : the semantics of a subset of VHDL and its embedding in the HOL proof assistant |
Notes: |
|
Sources: |