Languages
Jump To : Overview | Titles | Subjects

Jhala, Ranjit.

Overview
Works: 7 works in 2 publications in 1 languages
Titles
Verification, model checking, and abstract interpretation = 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Schmidt, David.; SpringerLink (Online service); Jhala, Ranjit. (Language materials, printed)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings / by: SpringerLink (Online service); Igarashi, Atsushi.; Jhala, Ranjit.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Compiler construction = 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 / by: Bosschere, Koen.; SpringerLink (Online service); Jhala, Ranjit.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
 
 
Change password
Login