vix.ing · top · new · best · stats · spec

Bernard Elspas

  1. SELECT—a formal system for testing and debugging programs by symbolic execution
    1975/04/01 by Robert S. Boyer, Bernard Elspas, Karl N. Levitt · 2 citations