Collaborated with:
Yossi Gil
Talks about:
recognit (1) languag (1) checker (1) formal (1) type (1) java (1)
Person: Tomer Levy
DBLP: Levy:Tomer
Contributed to:
Wrote 1 papers:
- ECOOP-2016-GilL #formal method #java #recognition
- Formal Language Recognition with the Java Type Checker (YG, TL), p. 27.