Aditya Kallem

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Shengru Tu, Shireesha Tankashala, Sehun Oh, Brian Becker, Brian Horton, Aditya Kallem, Zhao Yang
Turning real-world systems into verification-driven learning cases. CSEE&T (2011)
Shengru Tu, Sehun James Oh, Rushikesh Kale, Aditya Kallem, Shireesha Tankashala
Developing verification-driven learning cases. ITiCSE (2010)