Sign in

Toward semantic search via SMT solver.

Kathryn T. StoleeSebastian G. Elbaum
Published in: SIGSOFT FSE (2012)
Keyphrases