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

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

Ցույց տալ այլ տարբերակներ (2)
Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M
Ձևաչափ: Conference item
Հրապարակվել է: Poitiers‚ France 2007
Ցույց տալ բոլոր տարբերակները (3)

Նմանատիպ նյութեր