Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers

מידע ביבליוגרפי
Main Authors:	Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M
פורמט:	Conference item
יצא לאור:	Poitiers‚ France 2007

פריטים דומים