Assaf Schuster

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Assaf Schuster is an American professor of computer science whose works have been published in such journals as Computer Aided Verification and Journal of Systems and Software. Currently he works at Technion – Israel Institute of Technology.[1]


  1. ^ "Assaf Schuster". Google Scholar. Retrieved December 10, 2013.