Fakultaet fuer Informatik, Technische Universitaet Muenchen;
hoare logic; java; isabelle/HOL; auxiliary variables; side effects; dynamic binding;
机译:SMIL文档中的时间和空间相干验证,具有逻辑和析出约束:混合形式方法
机译:使用辅助变量的多级多维物品响应模型的贝叶斯估计方法:分层数据中多个潜变量与协变的相关性的探索
机译:回复评论评论:“重新考虑对称氢键:通过可变温度,可变压力中子衍射和平面波DFT方法获得的马来酸氢钾”。物理来吧381(2003)102]
机译:纳米韦的逻辑:辅助变量,副作用和虚拟方法重新审视
机译:模糊逻辑与虚拟现实技术在金山岭长城古建材料研究中的应用
机译:将虚拟反应纳入基于逻辑的基于配体的虚拟筛选方法中以发现新的潜在客户
机译:NanoJava的Hoare逻辑:重新审视了辅助变量,副作用和虚拟方法