@entry{unc-pap-pap-22-aa, author = {EP UNCECOMP and M Papadrakakis and V Papadopoulos...}, title = {RECOMMENDER TECHNIQUES FOR SOFTWARE WITH RESULT VERIFICATION}, journal = {}, volume = {}, number = {}, pages = {}, year = 2022, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://files.eccomasproceedia.org/papers/uncecomp-2019/18823.pdf}}}, quotes = {... Methods with result verification such as interval analysis or affine arithmetic have been used successfully at least since the 1970s not only for dealing with the automated proofs that ...} }