史蒂夫·邓恩;费雷拉,乔昂·F·。;亚历山大·门德斯;坎贝尔·里奇;比尔·斯托达特;泽达,弗兰克 BGSL:回溯程序规范和细化的命令式语言。 (英语) Zbl 07618118号 J.日志。阿尔盖布。方法计划。 130,文章ID 100811,14 p.(2023).理学硕士:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Dunne}等人,J.Log。阿尔盖布。方法计划。130,文章ID 100811,14 p.(2023;Zbl 07618118) 全文: 内政部
西蒙·福斯特;叶康峰;安娜·卡瓦尔坎蒂;吉姆·伍德科克 通过计算自动验证反应式程序和并发程序。 (英语) 兹比尔1518.68206 J.日志。阿尔盖布。方法计划。 121,文章ID 100681,34 p.(2021).理学硕士:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100681,34 p.(2021;Zbl 1518.68206) 全文: 内政部 arXiv公司
卡拉米,法尔扎内;Owe、Olaf;托克塔姆,拉梅扎尼法尔卡尼 活动对象的交互范例评估。 (英语) Zbl 1417.68023号 J.日志。阿尔盖布。方法计划。 103, 154-183 (2019).理学硕士:64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{F.Karami}等人,J.Log。阿尔盖布。方法计划。103、154--183(2019年;Zbl 1417.68023) 全文: 内政部
马塞尔·杰克逊;米库拉斯(Mikulás,Szabolcs) 天使和恶魔作品的领域和范围。 (英语) Zbl 1417.68033号 J.日志。阿尔盖布。方法计划。 103, 62-78 (2019).理学硕士:68号30 08A70号 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{S.MikuláS},J.Log。阿尔盖布。方法计划。103、62-78(2019年;Zbl 1417.68033) 全文: 内政部 arXiv公司 链接
埃夫拉德,雨果;弗雷德里克·朗 通过多路集合交互的异步进程的形式化模型自动生成分布式代码。 (英语) Zbl 1362.68038号 J.日志。阿尔盖布。方法计划。 88, 121-153 (2017).理学硕士:68N20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Evrard}和\textit{F.Lang},J.Log。阿尔盖布。方法计划。88、121--153(2017年;Zbl 1362.68038) 全文: 内政部 哈尔
奥利·萨里基维;凯乔·赫尔扬科 LCTD:LLVM上C程序的测试指导证明。 (英语) Zbl 1392.68149号 J.日志。阿尔盖布。方法计划。 85,第6期,1292-1317(2016).理学硕士:68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Saarikivi}和\textit{K.Heljanko},J.Log。阿尔盖布。方法计划。85,第6号,1292--1317(2016;Zbl 1392.68149) 全文: 内政部
你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱慧标 并发Kleene代数的发展。 (英语) Zbl 1344.68149号 J.日志。阿尔盖布。方法计划。 85,第4期,617-636(2016).理学硕士:第68季度第70季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人,J.Log。阿尔盖布。方法计划。85,第4号,617--636(2016;Zbl 1344.68149) 全文: 内政部
休伯特·加拉维 重温过程计算中的序列构成。 (英语) 兹比尔1330.68201 J.日志。阿尔盖布。方法计划。 84,第6期,742-762(2015).理学硕士:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel},J.日志。阿尔盖布。方法计划。84,第6号,742--762(2015;Zbl 1330.68201) 全文: 内政部