1
by Kroening, Daniel, Strichman, Ofer
Published 2016
Springer Berlin Heidelberg
Subjects: ...Optimization...