Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving

著录项

• 来源
  《计算机科学技术学报（英文版）》 |2010年第6期|1305-1320|共16页
• 作者

  Osman Hasan; Sofiène Tahar;

  展开▼
• 作者单位

  Department of Electrical and Computer Engineering,Concordia University,Montreal,Canada;

  Department of Electrical and Computer Engineering,Concordia University,Montreal,Canada;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类
• 关键词