Tavante, Hanneli Carolina Andreazzi,
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
A Type-Safe Hdl Verified in Coq /
by:
Tavante, Hanneli Carolina Andreazzi,; McGill University (Canada).
(Electronic resources)