Travelled to:
1 × Hungary
Collaborated with:
H.Chockler O.Grumberg
Talks about:
respons (1) automat (1) effici (1) refin (1) use (1) ste (1)
Person: Avi Yadgar
DBLP: Yadgar:Avi
Contributed to:
Wrote 1 papers:
- TACAS-2008-ChocklerGY #automation #performance #refinement #using
- Efficient Automatic STE Refinement Using Responsibility (HC, OG, AY), pp. 233–248.