A dynamic logic for verification of synchronous models based on theorem proving

作者：Yuanrui Zhang, Frédéric Mallet, Zhiming Liu

摘要

论文关键词：

论文评审过程：

论文官网地址：https://doi.org/10.1007/s11704-022-1374-4