Sign in

Spec#.

Sylvain BoulméMarie-Laure Potet
Published in: Rigorous Methods for Software Construction and Analysis (2009)
Keyphrases
  • benchmark suite
  • text classification
  • knowledge acquisition