D'Souza, Deepak and Lal, Akash (2017) Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation. In: COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 47 (1, SI). p. 1.
