Ofer Strichman

Ofer Strichman (Hebrew: עופר שטרייכמן, born: 4 September 1968) is a professor of computational logic and computer science at the Davidson Industrial Engineering and Management, Technion – Israel Institute of Technology. He holds the Joseph Gruenblat chair in production engineering. Provided by Wikipedia
Cover Image
Read Now

1
by Kroening, Daniel, Strichman, Ofer
Published 2008
Springer Berlin Heidelberg
Cover Image
Read Now

2
by Kroening, Daniel, Strichman, Ofer
Published 2016
Springer Berlin Heidelberg
Cover Image
Read Now

3
by Ivrii, Alexander
Published 2020
TU Wien Academic Press
Other Authors: “...Strichman, Ofer...”
Cover Image
Read Now

4
Published 2010
Springer Berlin Heidelberg
Other Authors: “...Strichman, Ofer...”
Cover Image
Read Now

5
Published 2017
Springer International Publishing
Other Authors: “...Strichman, Ofer...”