PUBLICACIÓN
Automatic generation of efficient oracles: The less-than case
Sanchez-Rivero J.; Talavan D.; Garcia-Alonso J.; Ruiz-Cortes A.; Murillo J.M.
CITAS
0
DOI
10.1016/j.jss.2024.112203
EID
2-s2.0-85203463882
ISSN
0164-1212
AUTORES DE LA UEX
PUBLICACIÓN
Automatic generation of efficient oracles: The less-than case
Sanchez-Rivero J.; Talavan D.; Garcia-Alonso J.; Ruiz-Cortes A.; Murillo J.M.
CITAS
0
DOI
10.1016/j.jss.2024.112203
EID
2-s2.0-85203463882
ISSN
0164-1212
AUTORES DE LA UEX
