Login / Signup

CPBPV: a constraint-programming framework for bounded program verification.

Hélène CollavizzaMichel RueherPascal Van Hentenryck
Published in: Constraints An Int. J. (2010)
Keyphrases