Concepedia

The semantics of VHDL with Val and Hol: towards practical verification tools

Van Tassell, J Robinson Peter

1990 · 12 citations · 0 references

Concepts