Ofer Strichman

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
Showing 1 - 1 results of 1 for search 'Strichman, Ofer', query time: 0.03s Refine Results
1
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Participants: Strichman, Ofer [ HerausgeberIn, Sonstige ]; Ivrii, Alexander [ Sonstige ]; Strichman, Ofer [ Sonstige ]
Published: 2020
Superior document: Conference Series: Formal Methods in Computer-Aided Design
Other Authors: “...Strichman, Ofer...”
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search