Hoare-fol 工具

摘要：应用霍尔逻辑和Dijkstra的最弱命题演算到生物调控网络的路径程序中的Hoare-fol工具，摘要

作者：Maxime Folschette (CRIStAL)

论文ID：1912.08767

分类：Other Quantitative Biology

分类简称：q-bio.OT

提交时间：2019-12-19

PDF 下载： 英文版 中文版pdf翻译中