@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 ...}
}