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.uni-trier.de/rec/journals/fmsd/Strichman18.xml
Ofer Strichman Special issue: program equivalence. 227-228 2018 52 Formal Methods Syst. Des. 3 https://doi.org/10.1007/s10703-018-0318-y db/journals/fmsd/fmsd52.html#Strichman18