Dynamic Frames in Java Dynamic Logic. Formalisation and Proofs
Dynamic Frames in Java Dynamic Logic. Formalisation and Proofs
复制标题
Java 动态逻辑中的动态框架。
DOI：
10.5445/ir/1000018332
复制
发表时间：
2010
影响因子：
--
通讯作者：
Benjamin Weiß
中科院分区：
文献类型：
--
作者：
P. Schmitt;Mattias Ulbrich;Benjamin Weiß
This report is a companion to the paper Dynamic Frames in Java Dynamic Logic [2]. It contains complementary formal definitions and proofs.
