iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/ieicet/VuCYA15.xml
Dieu-Huong Vu Yuki Chiba Kenro Yatake Toshiaki Aoki A Framework for Verifying the Conformance of Design to Its Formal Specifications. 1137-1149 2015 98-D IEICE Trans. Inf. Syst. 6 https://doi.org/10.1587/transinf.2014FOP0004 http://search.ieice.org/bin/summary.php?id=e98-d_6_1137 db/journals/ieicet/ieicet98d.html#VuCYA15