McIver，安娜贝尔（编辑）;莫里斯·比克。（编辑） 编辑。 （英语） Zbl 1519.68005号 正式Asp。计算。 33，编号4-5，459-460（2021）。 正文：本期特刊来源于2019年在葡萄牙波尔图举行的第三届世界正式方法大会。本期包括一些提交2019年正式方法研讨会（FM2019）的最佳论文；这是世界大会的一部分；FM 2019吸引了129份提交文件，其中39份被接受提交。共有18篇论文被选为显著扩展到期刊长度的论文；其中九个选择出现在这里，其余九个出现在《系统设计中的形式方法》（Formal Methods in System Design）出版的一期平行专刊中。所有论文都经过了彻底的审查，需要两到三轮修订。 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68新元 软件理论 68季度xx 计算理论 00时25分 杂项特定利益的会议记录 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}（编辑）和\textit{M.H.ter Beek}（主编），正式Asp。计算。33，编号4--5，459--460（2021；Zbl 1519.68005） 全文： 内政部