1
Published 2015
Springer International Publishing
Subjects: ...Software engineering...

2
Published 2015
Springer International Publishing
Subjects: ...Software engineering...

3
by Kroening, Daniel, Strichman, Ofer
Published 2016
Springer Berlin Heidelberg
Table of Contents: ... -- Propositional Encodings -- Applications in Software Engineering -- SMT-LIB 2.0: A Brief Tutorial -- A C...

4
Published 2015
Springer International Publishing
Subjects: ...Software engineering...

6
by Kroening, Daniel, Strichman, Ofer
Published 2008
Springer Berlin Heidelberg
Subjects: ...Software engineering...

7
Published 2014
Springer International Publishing
Subjects: ...Software engineering...