Login / Signup

Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach.

Dirk BeyerMatthias Dangl
Published in: ISoLA (2) (2018)
Keyphrases