×

找到252个文档（结果1–100）

最新的 引文 关联
盛、欢欢;亚历山大·本特坎普;詹伯华

HHLPy公司：使用霍尔逻辑对混合系统进行实际验证。 （英语） Zbl 1529.68164号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000，160-178（2023年）。
MSC公司：第68季度第60季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.Sheng}等人，Lect。注释计算。科学。14000、160--178（2023年；Zbl 1529.68164）
全文： 内政部 arXiv公司
伊戈尔·塞德拉尔;约翰·J·万嫩堡。

通过测试将Kozen-Tiuryn逻辑嵌入到剩余的单排序Kleene代数中。 （英语） Zbl 07691325号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 221-236 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{I.Sedlár}和\textit{J.J.Wannenburg}，Lect。注释计算。科学。13468、221--236（2022；Zbl 07691325）
全文： 内政部 arXiv公司
陈海波;高欣

数学和软件验证。 （英语） Zbl 1497.68110号

廖恒（编辑）等，《未来计算与通信数学》。剑桥：剑桥大学出版社。54-73 (2022).
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）
MSC公司：68号30 03B70号 68甲18 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Chen}和\textit{X.Gao}，in：未来计算和通信的数学。剑桥：剑桥大学出版社。54-73（2022年；Zbl 1497.68110）
全文： 内政部 链接
皮埃尔·尼格伦;皮埃尔·埃瓦里斯特·达甘

寻找星星：科克的一个单子的故事。 （英语） Zbl 07699446号

Cohen，Liron（ed.）等人，第十二届交互式定理证明国际会议，ITP 2021，意大利罗马，虚拟会议，2021年6月29日至7月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。193，第29条，第19页（2021年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{P.Nigron}和\textit{P.-埃利·达甘德}，LIPIcs——莱布尼茨国际程序。通知。193，第29条，第19页（2021；兹bl 07699446）
全文： 内政部
扬尼克·福斯特;费边·昆泽;格特·斯莫尔卡;马克西米利安·伍特克

弱call-by-value（lambda）-演算的时间不变性命题的机械化证明。 （英语） Zbl 07699436号

Cohen，Liron（ed.）等人，第十二届交互式定理证明国际会议，ITP 2021，意大利罗马，虚拟会议，2021年6月29日至7月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。193，第19条，第20页（2021年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Y.Forster}等人，LIPIcs——莱布尼茨国际程序。通知。193，第19条，第20页（2021；Zbl 07699436）
全文： 内政部
德博拉·博伊恩瓦尔;吉尔斯·伯诺;赫莱内·科拉维扎;Jean-Paul彗星

什么是细胞周期检查点？这个图腾生物网回答。 （英语） Zbl 1506.92026号

亚历山德罗（编辑）等，《系统生物学中的计算方法》。第18届国际会议，CMSB 2020，德国康斯坦茨，2020年9月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12314, 362-372 (2020).
MSC公司：92立方厘米 92立方37 92-04
PDF格式BibTeX公司 XML格式引用
\textit{D.Boyenval}等人，Lect。注释计算。科学。12314、362--372（2020年；Zbl 1506.92026）
全文： 内政部
亚历杭德罗·阿吉雷;胜本，Shin-ya

谎言中最薄弱的先决条件。 （英语） Zbl 07516369号

Patricia Johann（编辑），《第36届编程语义数学基础会议论文集》，MFPS XXXVI，虚拟会议，2020年6月2-6日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。352, 5-27 (2020).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Aguirre}和\textit{S.-y.Katsumata}，电子。注释Theor。计算。科学。352，5--27（2020；Zbl 07516369）
全文： 内政部
迪德里克·伦德伯格;罗伯特·瓜夏莱;安德烈亚斯·林德纳;达姆，麦兹

非结构化程序的Hoare-style逻辑。 （英语） Zbl 1476.68064号

de Boer，Frank（编辑）等人，《软件工程和形式化方法》。第18届国际会议，SEFM 2020，荷兰阿姆斯特丹，2020年9月14-18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12310, 193-213 (2020).
MSC公司：68号30 03B70号 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{D.Lundberg}等人，Lect。注释计算。科学。12310、193--213（2020年；Zbl 1476.68064）
全文： 内政部 链接
玛丽亚·里贝罗;佩德罗·阿多;保罗·马特乌斯

使用Isabelle/HOL对以太坊智能合约进行正式验证。 （英语） Zbl 1476.68156号

Nigam，Vivek（编辑）等人，《逻辑、语言和安全》。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12300, 71-97 (2020).
MSC公司：第68季度第60季度 03B70号 68伏15 91B41型 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Ribeiro}等人，Lect。注释计算。科学。12300，71-97（2020年；兹比尔1476.68156）
全文： 内政部
保罗·安德烈·梅利埃;莱奥·斯特凡内斯科

并发分离逻辑满足模板游戏。 （英语） Zbl 07299509号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。742-755 (2020).
MSC公司：68倍 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛P.-A.Melliès｝和\textit｛L.Stefanesco｝，载于：2020年第35届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2020，虚拟活动，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。742--755（2020；Zbl 07299509）
全文： 内政部 arXiv公司
U.E.沃尔特。;A.R.马提尼。;Häusler，E.H。

Hoare逻辑的索引和光纤结构。 （英语） Zbl 1495.03053号

Felty，Amy（编辑）等人，第14届逻辑和语义框架及其应用国际研讨会，2019年8月于巴西纳塔尔举行。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。348, 125-145 (2020).
MSC公司：03B70号 03G30型 18纳米45
PDF格式BibTeX公司 XML格式引用
\textit{U.E.Wolter}等人，《电子》。注释Theor。计算。科学。348125-145（2020年；Zbl 1495.03053）
全文： 内政部
奥曼，波霍拉·约翰内斯;亨利克·罗斯特德;玛格努斯·奥·米林。

非终止CakeML程序活性属性的特征公式。 （英语） 兹比尔07649981

Harrison，John（编辑）等，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第32条，第19页（2019年）。
MSC公司：第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{P.J.奥曼}等人，LIPIcs--Leibniz Int.Proc。通知。141，第32条，第19页（2019年；Zbl 07649981）
全文： 内政部
哈明，贾法尔

无饥饿监控器。 （英语） 兹伯利07142676

Hierons，Robert Mark（编辑）等人，《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日，第16届国际学术讨论会，突尼斯哈马马特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11884, 175-195 (2019).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Hamin}，莱克特。注释计算。科学。11884、175--195（2019年；Zbl 07142676）
全文： 内政部 链接
马克西米利安·哈斯贝克。;托比亚斯·尼普科夫

Hoare时间界限逻辑。元理论研究。 （英语） 兹比尔1423.68098

Beyer，Dirk（编辑）等人，《系统构建和分析的工具和算法》。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议（TACAS 2018），是欧洲软件理论与实践联合会议（ETAPS 2018）的一部分。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。10805, 155-171 (2018).
MSC公司：68号30 03B70号 第68季度第60季度 68吨15 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{M.P.L.Haslbeck}和\textit{T.Nipkow}，莱克特。注释计算。科学。10805，155--171（2018；Zbl 1423.68098）
全文： 内政部
乔纳森·比哈格尔;Jean-Paul彗星;马克西姆·福舍特

基于基因网络混合模型的改进Hoare逻辑约束识别。 （英语） Zbl 1515.68158号

Schewe，Sven（ed.）等人，第24届时间表征和推理国际研讨会，《时代》2017，比利时蒙斯，2017年10月16日至18日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90，第5条，第21页（2017年）。
MSC公司：65年第68季度 03B70号 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛J.Behaegel｝等人，LIPIcs——莱布尼茨国际期刊。通知。90，第5条，21 p.（2017；Zbl 1515.68158）
全文： 内政部
Owe、Olaf;托克塔姆，拉梅扎尼法尔卡尼;埃莱赫·法泽尔德科迪

从多个合同中进行Hoare-style推理。 （英语） Zbl 1498.68168号

Polikarpova，Nadia（编辑）等，《综合形式方法》。2017年9月20日至22日在意大利都灵举行的2017年第13届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10510, 263-278 (2017).
MSC公司：第68季度第60季度 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{O.Owe}等人，Lect。注释计算。科学。10510263-278（2017年；Zbl 1498.68168）
全文： 内政部
詹乃军;王淑玲;赵恒军

Simulink/Stateflow图的正式验证。演绎法。 （英语） Zbl 1412.68006号

查姆：施普林格（ISBN 978-3-319-47014-6/hbk；978-3-316-47016-0/电子书）。第十五章，258页。(2017).
审核人：安德烈亚斯·马莱蒂（莱比锡）
MSC公司：68-02 68号30 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhan}等人，Simulink/Stateflow图的形式验证。演绎法。商会：施普林格（2017；兹比尔1412.68006）
全文： 内政部
吉尔·巴特;本杰明·格雷戈里;贾斯汀·徐;Pierre-Yves支柱

耦合证明是概率产品程序。 （英语） Zbl 1380.68267号

Castagna，Giuseppe（ed.）等人，第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。161-174 (2017).
MSC公司：第68季度第60季度 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}等人，in：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。161--174（2017；Zbl 1380.68267）
全文： 内政部 arXiv公司
徐兆伟;张文辉;隋、岳飞

霍尔逻辑相对于标准模型的完整性。 （英语） Zbl 1444.03122号

Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。10139, 119-131 (2017).
MSC公司：03B70号 03C62号 30楼03号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Xu}等人，Lect。注释计算。科学。10139、119--131（2017；Zbl 1444.03122）
全文： 内政部 arXiv公司
比约恩·恩格尔曼;奥尔德罗格（Ernst-Rüdiger Olderog）

为动态类型的、面向对象的程序提供一个完善的Hoare逻辑。 （英语） Zbl 1475.68085号

阿尔·布拉哈姆，埃里卡（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 173-193 (2016).
MSC公司：68号30 03B70号 68甲19 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Engelmann}和\textit{E.-R.Olderog}，莱克特。注释计算。科学。9660，173--193（2016；Zbl 1475.68085）
全文： 内政部 arXiv公司
安妮迪亚·班纳吉;戴维·诺曼（David A.Naumann）。;穆罕默德·尼库伊

带有框架和假设的关系逻辑。 （英语） Zbl 1391.68017号

Lal，Akash（ed.）等人，第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016），印度钦奈，2016年12月13-15日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-95977-027-9）。LIPIcs–莱布尼茨国际信息学论文集65，第11条，第16页。(2016).
MSC公司：68号30 03B70号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Banerjee}等人，LIPIcs——莱布尼茨国际程序。通知。65，第11条，第16页（2016；Zbl 1391.68017）
全文： 内政部 arXiv公司
吉尔·巴特;马可·加博阿迪;本杰明·格雷戈里;贾斯汀·徐;Pierre-Yves支柱

联合边界的程序逻辑。 （英语） Zbl 1388.68022号

Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–Leibniz International Proceedings in Informatics 55，Article 107，15 p.（2016）。
MSC公司：68号30 03B70号 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}等人，LIPIcs——莱布尼茨国际程序。通知。55，第107条，第15页（2016年；兹bl 1388.68022）
全文： 内政部 arXiv公司
乔恩·海尔·布伦纳斯;瑞希德·埃哈希德;马丁·斯特雷克

证明逻辑修饰图重写系统的正确性。 （英语） Zbl 1387.68144号

Kesner，Delia（ed.）等人，第一届计算和扣减形式结构国际会议，2016年金融稳定与发展委员会，葡萄牙波尔图，2016年6月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-010-1）。LIPIcs–莱布尼茨国际信息学学报52，第14条，第15页（2016年）。
MSC公司：2012年第68季度 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Brenas}等人，LIPIcs——莱布尼茨国际程序。通知。52，第14条，第15页（2016年；Zbl 1387.68144）
全文： 内政部
布里杰什·多戈尔;伊恩·海斯。;乔治·斯特鲁斯

卷积作为一个统一的概念：在分离逻辑、区间计算和并发中的应用。 （英语） Zbl 1367.68210号

ACM事务处理。计算。日志。 17，第3号，第15条，第25页（2016年）.
MSC公司：68问题85 03B70号 07年6月 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Dongol}等人，ACM Trans。计算。日志。17，第3号，第15条，第25页（2016；Zbl 1367.68210）
全文： 内政部
罗伯特·兰德;史蒂夫·兹丹塞维奇

VPHL：概率程序的验证部分正确性逻辑。 （英语） Zbl 1351.68080号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，351-367，仅电子版（2015）。
MSC公司：68号30 03B70号 68甲19 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rand}和\textit{S.Zdancewic}，电子。注释Theor。计算。科学。319351-367（2015；Zbl 1351.68080）
全文： 内政部
尼拉坎坦·R·克里希纳斯瓦米。;皮埃尔·普拉迪奇;尼克·本顿

集成线性类型和依赖类型。 （英语） Zbl 1345.68109号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。17-30（2015年）。
MSC公司：68号30 03B70号 03楼52 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{N.R.Krishnaswami}等人，《第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。17-30（2015；Zbl 1345.68109）
全文： 内政部
邹亮;詹乃军;王淑玲;马丁·范策尔

Simulink/Stateflow图的正式验证。 （英语） Zbl 1471.68159号

Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。2015年10月12日至15日，第13届国际研讨会，亚洲电视协会，中国上海。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364, 464-481 (2015).
MSC公司：第68季度第60季度 68伏15 93-10 93立方 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{L.Zou}等人，Lect。注释计算。科学。9364、464--481（2015年；Zbl 1471.68159）
全文： 内政部
康斯坦蒂诺斯·马穆拉斯

关于一元递归方案的霍尔理论。 （英语） Zbl 1401.68045号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第69号论文，第10页（2014年）。
MSC公司：68号30 03B25号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{K.Mamouras}，in：2014年7月14日至18日在奥地利维也纳举行的2014年第29届ACM/IEEE计算机科学逻辑年会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。论文编号69，第10页（2014；Zbl 1401.68045）
全文： 内政部
弗兰克·卡塞兹;克里斯蒂安·米勒;卡拉·伯内特

通过模块化轨迹细化进行基于总结的过程间分析。 （英语） Zbl 1360.68581号

Raman，Venkatesh（ed.）等人，第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-77-4）。LIPIcs–莱布尼茨国际信息学论文集29，545-556（2014）。
MSC公司：第68季度第60季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Cassez}等人，LIPIcs——莱布尼茨国际程序。通知。29545--556（2014年；Zbl 1360.68581）
全文： 内政部
安德鲁·W·阿佩尔。;罗伯特·多金斯;阿奎那·霍伯;伦纳特·贝林格;乔赛亚·多兹;戈登·斯图尔特;布兰奇，桑德琳;泽维尔·勒罗伊

认证编译器的程序逻辑。 （英语） Zbl 1298.68009号

剑桥：剑桥大学出版社（ISBN 978-1-107-04801-0/hbk；978-1-107-25655-2/电子书）。x、 第458页。(2014).
审核人：约翰·乔治·格兰斯特罗姆（苏黎世）
MSC公司：68-02 68N20型 68号30 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{A.W.Appel}等人，《认证编译器的程序逻辑》。剑桥：剑桥大学出版社（2014；Zbl 1298.68009）
全文： 内政部
格里高·罗什乌;tefánescu，安德烈;Ciobáca，ötefan;布兰登·摩尔（Brandon M.Moore）。

单程可达性逻辑。 （英语） 兹比尔1366.68182

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。358-367 (2013).
MSC公司：第68季度第60季度 03B70号 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{G.Rošu}等人，in：2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学，2013年第28届ACM/IEEE计算机科学逻辑年会论文集，LICS 2013。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。358--367（2013年；Zbl 1366.68182）
全文： 内政部
谢尔盖·冈查洛夫;卢茨·施罗德

一个相对完整的通用Hoare逻辑，用于富于秩序的效果。 （英语） Zbl 1366.68023号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。273-282 (2013).
MSC公司：68号30 03B70号 06B35号 18 C50 18D20天 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}和\textit{L.Schröder}，in：2013年第28届ACM/IEEE计算机科学逻辑年度研讨会论文集，2013年LICS，美国路易斯安那州新奥尔良市杜兰大学，2013年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。273-282（2013年；兹bl 1366.68023）
全文： 内政部
詹乃军;王淑玲;赵恒军

混合系统的形式化建模、分析和验证。 （英语） Zbl 1444.68105号

刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 207-281 (2013).
MSC公司：第68季度第60季度 03B70号 68伏15 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhan}等人，Lect。注释计算。科学。8050207--281（2013；Zbl 1444.68105）
全文： 内政部
德尔比安科、杰曼·安德烈斯;阿列克桑达尔·纳内夫斯基

带有（代数）延续的Hoare-style推理。 （英语） Zbl 1323.68369号

2013年9月25日至27日在美国马萨诸塞州波士顿举行的第18届ACM SIGPLAN功能编程国际会议记录，ICFP’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2326-0）。ACM SIGPLAN Notices 48，No.9，363-376（2013）。
MSC公司：第68季度第60季度 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.A.Delbianco}和\textit{A.Nanevski}，摘自：第18届ACM SIGPLAN函数式编程国际会议论文集，ICFP’13，美国马萨诸塞州波士顿，2013年9月25日至27日。纽约州纽约市：计算机协会（ACM）。363--376（2013年；Zbl 1323.68369）
全文： 内政部
迈克尔·申克

信息学中的逻辑计算。计算机如何使用逻辑？（Logikkalküle in der Informatik。Wie wird Logik vom Rechner genutzt？） （德语） Zbl 1296.03001号

Studienbücher Informatik研究所。威斯巴登：斯普林格·维埃格（ISBN 978-3-8348-1887-4/pbk；978-3-3848-2295-6/电子书）。xii，第232页。(2013).
审核人：马丁·兰格（卡塞尔）
MSC公司：03-01 97-01 03B70号 68T27型 97E30型 97页20
PDF格式BibTeX公司 XML格式引用
\textit{M.Schenke}，信息中的Logikkalküle。Wie wird Logik vom Rechner genutzt？。威斯巴登：Springer Vieweg（2013；Zbl 1296.03001）
全文： 内政部
赵亮;王淑玲;刘志明

基于图形的面向对象Hoare逻辑。 （英语） Zbl 1390.68192号

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，374-393（2013）。
MSC公司：68号30 03B70号 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Zhao}等人，Lect。注释计算。科学。8051、374--393（2013；Zbl 1390.68192）
全文： 内政部
吉尔·巴特;鲍里斯·科普夫;费德里科·奥利梅多;圣地亚哥Zanella Béguelin

差异隐私的概率关系推理。 （英语） Zbl 1321.68182号

2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。97-110 (2012).
MSC公司：68号30 94A60型 68吨15 68瓦20 68周27
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}等人，in：第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。97-110（2012；Zbl 1321.68182）
全文： 内政部
Dang，Han-Hing（韩红）;Möller，伯恩哈德

并发和局部推理的反向交换。 （英语） Zbl 1358.68063号

Jeremy Gibbons等人，《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31112-3/pbk）。计算机科学课堂讲稿7342177-197（2012）。
MSC公司：68甲19 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.-H.Dang}和\textit{B.Möller}，莱克特。注释计算。科学。7342，177--197（2012；Zbl 1358.68063）
全文： 内政部 链接
王淑玲;詹乃军;格列夫，迪米塔尔

一种基于假设/保证的混合CSP合成演算。 （英语） Zbl 1354.68204号

Agrawal，Manindra（编辑）等人，《计算模型的理论和应用》。2012年5月16日至21日在中国北京举行的2012年TAMC第九届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-29951-3/pbk）。计算机科学讲义7287，72-83（2012）。
MSC公司：68问题85 03B70号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Wang}等人，Lect。注释计算。科学。7287、72--83（2012年；Zbl 1354.68204）
全文： 内政部
H.J.Sander，布鲁金克;拉斐尔·考德利埃;马蒂亚斯·Hülsbusch;巴巴拉·科尼格

条件反应系统。 （英语） Zbl 1246.68152号

Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–《莱布尼茨国际信息学学报》第13期，191-203年，仅电子版（2011年）。
MSC公司：第68季度第60季度 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.J.S.Bruggink}等人，LIPIcs——莱布尼茨国际程序。通知。13、191--203（2011；Zbl 1246.68152）
全文： 内政部
纳撒尼尔·查尔顿

使用简单语义的高阶存储的Hoare逻辑。 （英语） Zbl 1326.68085号

Beklemishev，Lev D.（编辑）等人，《逻辑、语言、信息和计算》。2011年5月18日至20日，美国宾夕法尼亚州费城WoLLIC 2011第18届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-20919-2/pbk）。计算机科学课程讲稿6642。人工智能课堂讲稿，52-66（2011）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Charlton}，莱克特。注释计算。科学。6642、52-66（2011年；Zbl 1326.68085）
全文： 内政部
威廉·鲍尔·德·罗弗;法兰克·德波尔;乌尔里希·汉内曼;胡曼，乔泽夫;亚辛·拉赫内奇;波埃尔、曼内斯;乔布·兹维尔

并发验证。合成和非置换方法简介。重印2001年精装版。 （英语） Zbl 1214.68125号

剑桥理论计算机科学丛书54.剑桥：剑桥大学出版社（ISBN 978-0-521-16932-5/pbk）。xxii，第776页。(2011).
MSC公司：68甲19 68-01 68号30 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{W.-P.de Roever}等人，并发验证。合成和非置换方法简介。2001年精装版再版，剑桥：剑桥大学出版社（2011；Zbl 1214.68125）
马蒂亚斯·海兹曼;Jochen Hoenicke公司;安德烈亚斯·波德尔斯基

嵌套插值。 （英语） Zbl 1312.68059号

2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。471-482（2010年）。
MSC公司：68号30 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Heizmann}等人，in：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。471--482（2010年；Zbl 1312.68059）
全文： 内政部
阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯;乔什·伯丁

构造堆操作程序的验证。 （英语） Zbl 1312.68065号

2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。261-274 (2010).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Nanevski}等人，in：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。261--274（2010；Zbl 1312.68065）
全文： 内政部
泽维尔·勒罗伊

机械化语义。应用于程序验证和编译器验证。 （英语） Zbl 1213.68206号

Esparza，Javier（编辑）等人，《可靠性和安全性的逻辑和语言》。根据2009年8月4日至16日在德国马克托伯多夫第30届国际暑期学校的演示文稿选出的论文。阿姆斯特丹：IOS出版社（ISBN 978-1-60750-099-5/hbk；978-1-60750-100-8/电子书）。北约和平与安全科学系列D：信息和通信安全25195-224（2010）。
MSC公司：68号30 68N20型 68问题55 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{X.Leroy}，北约科学。和平安全。序列号。D、 信息通信。安全。25195-224（2010年；Zbl 1213.68206）
全文： 内政部 arXiv公司
戈登，迈克;赫莱内·科拉维扎

与霍尔一起前进。 （英语） Zbl 1215.68129号

克利夫·琼斯（编辑）等人，《对C.A.R.霍尔作品的反思》。大多数论文基于2009年4月在英国剑桥举行的庆祝托尼·霍尔75岁生日的会议上的陈述。伦敦：施普林格出版社（ISBN 978-1-84882-911-4/hbk；978-1-848 82-912-1/电子书）。101-121 (2010).
MSC公司：第68季度第60季度 68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Gordon}和\textit{H.Collavizza}，摘自：对C.A.R.Hoare作品的反思。大多数论文基于2009年4月在英国剑桥举行的庆祝托尼·霍尔75岁生日的会议上的陈述。伦敦：斯普林格。101-121（2010；Zbl 1215.68129）
全文： 内政部
安德烈亚斯·布拉斯

存在不动点逻辑、全称量词和拓扑。 （英语） Zbl 1287.03085号

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。《计算机科学讲义》6300108-134（2010）。
MSC公司：03C80号 03B10号机组 03G30型 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{A.Blass}，莱克特。注释计算。科学。6300、108--134（2010年；Zbl 1287.03085）
全文： 内政部
理查德·博纳特

分离逻辑和并发。 （英语） Zbl 1200.68066号

Boca，Paul P.（编辑）等人，《形式方法：最新技术和新方向》。献给彼得·兰丁（1930-2009）。伦敦：施普林格出版社（ISBN 978-1-84882-735-6/hbk；978-1-848 82-736-3/电子书）。217-248 (2010).
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{R.Bornat}，in：形式方法：最新技术和新方向。献给彼得·兰丁（1930-2009）。伦敦：斯普林格。217--248（2010；Zbl 1200.68066）
全文： 内政部
丹尼尔·利万特

程序逻辑的归纳完整性。 （英语） Zbl 1234.03018号

Abel，Andreas（ed.）等人，第三届逻辑框架和元语言国际研讨会论文集：理论与实践（LFMTP 2008），美国宾夕法尼亚州匹兹堡，2008年6月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记228101-112（2009）。
MSC公司：03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Leivant}，电子。注释Theor。计算。科学。228101--112（2009年；Zbl 1234.03018）
全文： 内政部
吉尔·巴特;本杰明·格雷戈里;圣地亚哥Zanella Béguelin

基于代码的加密证明的正式认证。 （英语） Zbl 1315.68081号

第36届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’09，美国佐治亚州萨凡纳，2009年1月18日至24日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。90-101 (2009).
MSC公司：68号30 03B70号 68吨15 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}等人，《第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集》，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。90-101（2009年；Zbl 1315.68081）
全文： 内政部
苏珊·约翰娜·格鲁特曼

大学教学中的形成性电子评估。计算机辅助控制信息学研究中的学习进度。（Hochschullehre的Formatives E-Assessment。Computerunterstützte Lernfortschrittskontrollen im Informatikstudium。） （德语） Zbl 1189.00023号

穆斯特：穆斯特大学，Mathematisch-Naturwissenschaftliche-Fakultät，Fachbereich Mathematik und Informatik（Diss.）。xiv，第265页。(2009).
MSC公司：00A35型 68-02 97单位50 68层35
PDF格式BibTeX公司 XML格式引用
\textit{S.J.Gruttmann}，《Hochschullehre的形成性电子评估》。信息研究室计算机管理员Lernfortschrittskontrollen。穆斯特：穆斯特大学，Mathematisch-Naturwissenschaftliche-Fakultät，Fachbereich Mathematik und Informatik（Diss.）（2009；Zbl 1189.00023）
阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;阿夫拉罕·辛纳;保罗·戈维罗;拉尔斯·比克达尔

Ynot：命令式程序的依赖类型。 （英语） Zbl 1323.68142号

2008年9月20日至28日，第13届ACM SIGPLAN功能编程国际会议记录，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN Notices 43，No.9，229-240（2008）。
MSC公司：68甲18 03B70号 68甲15 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Nanevski}等人，in：第13届ACM SIGPLAN函数式编程国际会议论文集，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20日至28日。纽约州纽约市：计算机协会（ACM）。229--240（2008年；Zbl 1323.68142）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件