Featured collections
Popular topics
36 results for
Eran Yahav- Marco Pistoia
- Stephen J. Fink
- et al.
- 2007
- ICSE 2007
- Hana Chockler
- Karine Even
- et al.
- 2013
- ISSTA 2013
- Edward E. Aftandilian
- Samuel Z. Guyer
- et al.
- 2011
- OOPSLA 2011
- Arun Raman
- Greta Yorsh
- et al.
- 2011
- OOPSLA 2011
- Ohad Shacham
- Nathan Bronson
- et al.
- 2011
- OOPSLA 2011
- Michael Kuperstein
- Martin Vechev
- et al.
- 2011
- PLDI 2011
- Michael Kuperstein
- Martin Vechev
- et al.
- 2010
- FMCAD 2010
- Peter W. O'Hearn
- Noam Rinetzky
- et al.
- 2010
- PODC 2010
- Martin Vechev
- Eran Yahav
- et al.
- 2010
- ISMM 2010
- Martin Vechev
- Eran Yahav
- et al.
- 2010
- POPL 2010