1
Compiler Construction [E-Book] : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Other Personal Name(s): “...Jhala, Ranjit....”

Full text 
Favorites
Saved in:
2
Programming Languages and Systems [E-Book] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings /
Other Personal Name(s): “...Jhala, Ranjit....”

Full text 
Favorites
Saved in:
3
Verification, Model Checking, and Abstract Interpretation [E-Book] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
Other Personal Name(s): “...Jhala, Ranjit....”

Full text 
Favorites
Saved in: