ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation

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.

[img] PDF
Com_Lan_Sys_Str_47_1_2017.pdf - Published Version
Restricted to Registered users only

Download (139Kb) | Request a copy
Official URL: http://dx.doi.org/10.1016/j.cl.2016.06.002
Item Type: Editorials/Short Communications
Related URLs:
Additional Information: Copy right for this article belongs to the PERGAMON-ELSEVIER SCIENCE LTD, THE BOULEVARD, LANGFORD LANE, KIDLINGTON, OXFORD OX5 1GB, ENGLAND
Department/Centre: Division of Electrical Sciences > Computer Science & Automation (Formerly, School of Automation)
Date Deposited: 31 Jan 2017 05:27
Last Modified: 31 Jan 2017 05:27
URI: http://eprints.iisc.ernet.in/id/eprint/56109

Actions (login required)

View Item View Item