𝔖 Bobbio Scriptorium
✦   LIBER   ✦

IFIP Int. Workshop on applied formal methods for correct VLSI design: November 13–16, 1989 Leuven, Belgium


Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
89 KB
Volume
7
Category
Article
ISSN
0167-9260

No coin nor oath required. For personal study only.