原创力文档- 9
- 0
- 约11.01万字
- 约 21页
- 2015-11-22 发布于河南
- 举报
Science of Computer Programming 82 (2014) 77–97
Contents lists available at ScienceDirect
Science of Computer Programming
journal homepage: /locate/scico
Software verification with VeriFast: Industrial case studies✩
Pieter Philippaerts ∗, Jan Tobias Mühlberg, Willem Penninckx, Jan Smans,
Bart Jacobs, Frank Piessens
iMinds-DistriNet, KU Leuven, Celestijnenlaan 200A, B-3001, Leuven, Belgium
a
您可能关注的文档
- Single-strand breaks in the DNA of human cells exposed to visible light from phototherapy lamps in the presence and absence of bilirubin》.pdf
- Single-strand DNA breaks in rodent and human cells produced by superoxide anion or its reduction products》.pdf
- Single-stranded DNA genome in a whitefly-transmitted plant virus》.pdf
- Single-Stranded DNA Orchestrates an ATM-to-ATR Switch at DNA Breaks》.pdf
- Single-stranded DNA-binding proteins as transcriptional activators》.pdf
- Singleton search is guided by knowledge of the target, but maybe it shouldn’t be》.pdf
- Singleton sets random attractor for stochastic FitzHugh–Nagumo lattice equations driven by fractional Brownian motions》.pdf
- Singular boundary method for modified Helmholtz equations》.pdf
- Singular boundary method for water wave problems》.pdf
- Singular integrals in boundary elements for coupled stretching–bending analysis of unsymmetric laminates》.pdf
最近下载
- 过敏性休克的抢救.pptx VIP
- 高二年级人教版高中物理选择性必修三第二章测试卷.docx VIP
- FBI外星人解密.pdf VIP
- NB_T 10048-2018 煤矿在用滚筒驱动带式输送机安全运行规范.docx VIP
- 2024新人教版七年级英语上册 Unit 5 Fun Clubs大单元公开课一等奖创新教学设计（同步备课）（表格式）.docx VIP
- 企业供应链绿色化管理制度.doc VIP
- GB／T 31598-2015 大型活动可持续性管理体系 要求及使用指南.pdf
- 2021年上海市高考语文试卷（附答案详解）.pdf VIP
- 辽宁省实验中学2024-2025学年高一上学期期中阶段测试物理试题 含解析.docx VIP
- 2026年山东济南市长清区中考一模物理试题（试卷+解析）.pdf VIP
文档评论（0）