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

DSouza Deepak; Lal Akash

首页> 外文期刊>Computer Languages, Systems & Structures >Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation

【24h】

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

机译：第十六届国际验证，模型检验和抽象解释会议特刊

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

著录项
引文网络
相似文献
相关主题

著录项

来源
《Computer Languages, Systems & Structures》 |2017年第1期|1-1|共1页
作者
DSouza Deepak; Lal Akash;
展开▼
作者单位

Indian Inst Sci, Dept Comp Sci & Automat, Bangalore, Karnataka, India;

Indian Inst Sci, Dept Comp Sci & Automat, Bangalore, Karnataka, India;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Preface to a special section on verification, model checking, and abstract interpretation [J] . N. D. Jones, M. Miiller-Olm International Journal on Software Tools for Technology Transfer . 2011,第6期

机译：有关验证，模型检查和抽象解释的特殊部分的序言
2. Special section on verification, model checking, and abstract interpretation [J] . Lenore Zuck, Paul Attie, Agostino Cortesi International Journal on Software Tools for Technology Transfer . 2004,第1期

机译：验证，模型检查和抽象解释的特殊部分
3. Special Issue: 18th Annual Conference of the International Society for Bipolar Disorders & 8th Biennial Conference of the International Society for Affective Disorders, July 13-16, 2016, Amsterdam, The Netherlands Abstracts [J] . Bipolar disorders. . 2016,第Suppla1期

机译：特刊：国际双相情感障碍学会第十八届年会和国际情感情感障碍学会第八届双年会，2016年7月13日至16日，荷兰阿姆斯特丹
4. Verification, Model Checking and Abstract Interpretation [C] . Annalisa Bossi, Dennis Dams, Gilberto File, Logic programming . 1997

机译：验证，模型检查和抽象解释
5. OIL POLLUTION ON THE HIGH SEAS: THE ESTABLISHMENT OF AN INTERNATIONAL REGIME TO DEAL WITH PUBLIC INTERNATIONAL LAW AND PRIVATE LAW ISSUES AND THE ROLE OF NON-STATE ACTORS IN THEIR RESOLUTION PRIOR TO AND AT THE 1969 INTERNATIONAL LEGAL CONFERENCE ON MARINE POLLUTION DAMAGE (“BRUSSELS CONFERENCE”) [D] . Ottensoser, Milton D. 2018

机译：高层地区的油污：建立国际制度以处理国际公法和私法问题，以及在1969年国际海洋污染损害法律大会（布鲁塞尔）之前，非政府组织在其解决方案中的作用会议”）
6. Special Issue: Abstracts of the 9th International Conference on Environmental Health Science 2-3 November 2016 Incheon Republic of Korea [O] . -1

机译：特刊：第九届国际环境健康科学会议摘要2016年11月2-3日韩国仁川
7. Verification, Model Checking, and Abstract Interpretation:16th International Conference, VMCAI 2015 Mumbai, India, January 12-14, 2015 Proceedings [O] . 2015

机译：验证，模型检查和抽象解释：第16届国际会议，2015年1月12日至14日，印度孟买VmCaI会议论文集
8. Abstracts from the International Conference on the Mathematical Modeling of Flowin Porous Media, Held in Saint-Etienne on 22-26 May 1995 (Congres International sur la Modelisation Mathematique des Ecoulements en Milieux Poreux, Saint-Etienne, 22-26 Mai 19 [R] . 1995

机译：1997年5月22日至26日在圣艾蒂安举行的Flowin多孔介质数学模型国际会议摘要（国际模型化学会mathematique des Ecoulements en milieux poreux，saint-Etienne，22-26 mai 19

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

著录项

引文网络

相似文献

相关主题

期刊订阅