Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
system
(1)
design
(1)
verif
(1)
modul
(1)
Person:
Lloyd Wilkins
DBLP: Wilkins:Lloyd
Contributed to:
1984
Wrote 1 papers:
DAC-1984-Wilkins
#design
#verification
Module design verification system (
LW
), pp. 282–287.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.
DBLP: Wilkins:Lloyd
1984
DBLP: Wilkins:Lloyd1984