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.dagstuhl.de/rec/conf/euromicro/ParizekP07.xml
Pavel Parízek Frantisek Plásil Partial Verification of Software Components: Heuristics for Environment Construction. 75-82 2007 conf/euromicro/2007 EUROMICRO-SEAA https://doi.org/10.1109/EUROMICRO.2007.46 https://doi.ieeecomputersociety.org/10.1109/EUROMICRO.2007.46 https://www.wikidata.org/entity/Q58028969 db/conf/euromicro/euromicro2007.html#ParizekP07