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]](http://eprints.iisc.ac.in/style/images/fileicons/application_pdf.png) |
PDF
Com_Lan_Sys_Str_47_1_2017.pdf - Published Version Restricted to Registered users only Download (143kB) | Request a copy |
Official URL: http://dx.doi.org/10.1016/j.cl.2016.06.002
| Item Type: | Editorials/Short Communications |
|---|---|
| Publication: | COMPUTER LANGUAGES SYSTEMS & STRUCTURES |
| 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 |
| Date Deposited: | 31 Jan 2017 05:27 |
| Last Modified: | 31 Jan 2017 05:27 |
| URI: | http://eprints.iisc.ac.in/id/eprint/56109 |
Actions (login required)
 |
View Item |
