Person
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: