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/kbse/CastanoBGU17.xml
Rodrigo Castaño Víctor A. Braberman Diego Garbervetsky Sebastián Uchitel Model checker execution reports. 200-205 2017 ASE https://doi.org/10.1109/ASE.2017.8115633 https://doi.ieeecomputersociety.org/10.1109/ASE.2017.8115633 http://dl.acm.org/citation.cfm?id=3155591 conf/kbse/2017 db/conf/kbse/ase2017.html#CastanoBGU17