[Pay Per View]  confirm


Vol/No/Title/Authors number Price(including tax)
Vol.E88-A No.12
An Equivalence Checking Method for C Descriptions Based on Symbolic Simulation with Textual Differences
Takeshi MATSUMOTO, Hiroshi SAITO, Masahiro FUJITA,
1 ¥3240
Total: ¥3,240