Write a Blog >>
Shahar Maoz

Registered user since Tue 30 Jun 2015

Name: Shahar Maoz

Country: Israel

Affiliation: Tel Aviv University

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

Research interests: Software engineering, modeling, formal methods

Contributions

ESEC/FSE 2020Author of Inherent Vacuity for GR(1) Specifications within the Research Papers-track
Show activities from other conferences

Using general profile