Write a Blog >>
Shahar Maoz

Registered user since Tue 30 Jun 2015

Name: Shahar Maoz

Country: Israel

Affiliation: Tel Aviv University, Israel

Personal website: http://www.cs.tau.ac.il/~maozs/

Research interests: Software engineering, modeling, formal methods

Contributions

ESEC/FSE 2020 Conversations on Analysis 4
Inherent Vacuity for GR(1) Specifications
Welcome Panel #3
Show activities from other conferences

ESEC/FSE 2020-profile
View general profile