iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/nctcs/ZhangLM20.xml
Jianmin Zhang
Tiejun Li
Kefan Ma
Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores Extraction.
3-13
2020
NCTCS
https://doi.org/10.1007/978-981-16-1877-2_1
conf/nctcs/2020
db/conf/nctcs/nctcs2020.html#ZhangLM20