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/conf/vstte/LiuV05.xml
Zhiming Liu 0001 R. Venkatesh 0001 Methods and Tools for Formal Software Engineering. 31-41 2005 VSTTE https://doi.org/10.1007/978-3-540-69149-5_4 conf/vstte/2005 db/conf/vstte/vstte2005.html#LiuV05