• deductive verification - 引用次数：2

  参考来源 - 面向实时系统的实时区域时态逻辑：RRTL

·2,447,543篇论文数据，部分数据来源于NoteExpress