A Practical Approach for Model Checking C/C++11 Code
- 期刊名称ACM Transactions on Programming Languages and Systems
- 作者Norris, Brian; Demsky, Brian
- 卷第38卷
- 期第3期
- 印刷ISSN0164-0925
- 文件大小2462.79KB
- 发表时间2016-05-02
- DOI10.1145/2806886
- 页码1-51
Patenting in family firmsTognazzo, Alessandra; Destro, Federica; Gubitta, Paolo · International Journal of Entrepreneurship and Innovation Management · 2013
SOCIAL COMMERCE FOR INNOVATIONHAJLI, M. NICK · International Journal of Innovation Management · 2014
INNOVATION MODELS IN THE BIOPHARMACEUTICAL SECTORATTRIDGE, JIM · International Journal of Innovation Management · 2007
Medical Device Innovation Development ProcessSongkajorn, Yaninee; Thawesaengskulthai, Natcha · International Journal of Innovation and Technology Management · 2014
AUTHOR INDEX VOLUME 5 (2001)International Journal of Innovation Management · 2001
DESIGNING BUSINESS MODEL CHANGECAVALCANTE, SÉRGIO ANDRÉ · International Journal of Innovation Management · 2014
AUTHOR INDEX Volume 9International Journal of Innovation and Technology Management · 2012
AUTHOR INDEX Volume 5International Journal of Innovation and Technology Management · 2008