托马斯·库利克;布里杰什·多戈尔;彼得·戈姆·拉森;马其顿,雨果·丹尼尔;史蒂夫·施耐德;彼得·沃根森(Peter W.V.Tran-Jörgensen)。;詹姆斯·伍德科克 安全性的实用形式化方法综述。 (英语) Zbl 1522.68089号 正式Asp。计算。 34,第1号,第5号论文,39页(2022年).MSC公司:68平方米25 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Kulik}等人,正式Asp。计算。34,第1号,第5号论文,39页(2022年;Zbl 1522.68089) 全文: 内政部 arXiv公司
彼得·戈姆·拉森;博·斯蒂格·汉森 未确定表达式的语义。 (英语) Zbl 0843.68061号 正式Asp。计算。 8,第1号,47-66(1996).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Larsen}和\textit{B.S.Hansen},正式Asp。计算。8,第1号,47--66(1996;Zbl 0843.68061) 全文: 内政部
彼得·戈姆·拉森;尼科·普拉特;汉斯·托特内尔 数据流图的形式语义。 (英语) Zbl 0828.68095号 正式Asp。计算。 6,第6号,586-606(1994).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Larsen}等人,《形式Asp》。计算。6,第6号,586--606(1994;Zbl 0828.68095) 全文: 内政部
彼得·戈姆·拉森 对“储存爆炸物安全要求的正式规范”的回应。 (英语) 兹比尔0822.68062 正式Asp。计算。 6,第5期,565-568(1994).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Larsen},正式Asp。计算。6,第5号,565--568(1994;Zbl 0822.68062) 全文: 内政部