- Jonathan Bnayahu
- Maayan Goldstein
- et al.
- 2012
- ICSE 2012
Conference paper
- Tung Thanh Nguyen
- Tien N. Nguyen
- et al.
- 2012
- ICSE 2012
Conference paper
- Alex Fukunaga
- Akihiro Kishimoto
- et al.
- 2012
- AAAI 2012
Conference paper
- Swaprava Nath
- Pankaj Dayama
- et al.
- 2012
- AAAI 2012
Conference paper
- Serdar Kadioglu
- Yuri Malitsky
- et al.
- 2012
- AAAI 2012
Conference paper
- Debapriya Chatterjee
- Anatoly Koyfman
- et al.
- 2012
- DAC 2012
Conference paper
- Mitra Purandare
- Kubilay Atasu
- et al.
- 2012
- DAC 2012
Conference paper
- Vladimir Zolotov
- Debjit Sinha
- et al.
- 2012
- DAC 2012
Conference paper
- Joshua Auerbach
- David F. Bacon
- et al.
- 2012
- DAC 2012
Conference paper
- Debjit Sinha
- Chandu Visweswariah
- et al.
- 2012
- DAC 2012
Conference paper