Showing 1 - 2 results of 2, query time: 0.07s Refine Results
  1. 1
    BOOM: Taking boolean program model checking one step further

    BOOM: Taking boolean program model checking one step further by Wahl, G, Zhao, H

    Published 2010
    Conference item
  2. 2
    BOOM: Taking Boolean program model checking one step further

    BOOM: Taking Boolean program model checking one step further by Basler, G, Hague, M, Kroening, D, Ong, C, Wahl, T, Zhao, H

    Published 2010
    Conference item

Search Tools: