A Formal Verification Methodology for Checking Data Integrity. Yasushi Umezawa, Takeshi Shimizu. Fujitsu Laboratories of America, Inc., Sunnyvale, CA, USA.
確定! 回上一頁