Embedding and Verification of an MDG-HDL Translator in HOL (2000)

Cached

Download Links

by Haiyan Xiong , Paul Curzon , Sofiène Tahar , Ann Blandford
Citations:2 - 1 self