RT Conference Proceedings
T1 Training Binary Classifiers as Data Structure Invariants
A1 Molina, Facundo
A1 Degiovanni, Renzo
A1 Ponzio, Pablo
A1 Regis, Germán
A1 Aguirre, Nazareno
A1 Frias, Marcelo
YR 2019
FD 2019
LK https://hdl.handle.net/20.500.14352/133677
UL https://hdl.handle.net/20.500.14352/133677
LA eng
DS Docta Complutense
RD 23 mar 2026