@inproceedings{ouchani2012non,
  title         = {A non-convex classifier support for abstraction-refinement framework},
  author        = {Ouchani, Samir and Ait'Mohamed, Otmane and Debbabi, Mourad},
  booktitle     = {Microelectronics (ICM), 2012 24th International Conference on},
  pages         = {1--4},
  year          = {2012},
  organization  = {IEEE}
}