Mr. Bar-sinai Michael

Mr. Bar-sinai Michael Profile

PhD

Room : 37/-113
Phone : 08-6472181
Email : barsinam@post.bgu.ac.il
Homepage : https://www.cs.bgu.ac.il/~barsinam
Fax : 08-6477650
Box Number : 86
Office Hours : Thursday 14.00-16.00
Teaching (last two years):
Fall 2020: Introduction to FORMAl Verification Methods
Fall 2019: Introduction to FORMAl Verification Methods
Fall 2018: Introduction to FORMAl Verification Methods