The Role Of A Symbolic Programming Language In Hardware Verification - The Case Of Maple
Proceedings of the Maple summer workshop and symposium on Mathematical computation with Maple V : ideas and applications: ideas and applications(1993)
关键词
hardware verification,symbolic programming language
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络