发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (June 23-25, 2004)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - Panel: given that hardware verification has been an uphill battle, what is the future of software verification?

[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (June 23-25, 2004)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - Panel: given that hardware verification has been an uphill battle, what is the future of software verification?

Shukla, S.K.; Bultan, T.; Heitmeyer, C.
  • 作者Shukla, S.K.; Bultan, T.; Heitmeyer, C.
  • 文件大小356.22KB
  • 发表时间2004
  • DOI10.1109/memcod.2004.1459845
  • 页码157-158
同作者推荐
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯