TOSEM paper accepted: Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, and Sebasti ´an Uchitel. Enabledness-based program abstractions for behaviour validation.

Submitted by Anonymous (not verified) on 05/12

5/12 TOSEM paper accepted: Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, and Sebastián Uchitel. Enabledness-based program abstractions for behaviour validation.

Language Undefined