Navegar

Colección

Datos Estadísticas

Lista de

Frias, Marcelo
22
ACM SIGPLAN Notices
1
"Bounded exhaustive test input generation from hybrid invariants" (2014) Rosner, N.;Bengolea, V.;Ponzio, P. (...)Khurshid, S. ACM SIGPLAN Notices. 49(10):655-674