里贝罗，莱拉（编辑）;蒂埃里·勒科姆（编辑） 形式化方法：基础和应用。2016年11月23日至25日在巴西纳塔尔举行的第19届巴西研讨会，SBMF 2016。诉讼程序。 （英语） Zbl 1351.68029号 计算机科学课堂讲稿10090.查姆：施普林格（ISBN 978-3-319-49814-0/pbk；978-3-3169-49815-7/电子书）。x、 第252页。(2016). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。关于上一次研讨会，请参见[Zbl 1330.68020号].索引文章：Leuschel，迈克尔，基于形式模型的约束求解和文档生成，3-20[Zbl 1396.68117号]安德烈·科斯塔；乔纳斯·贝泽拉；阿齐·吉尔赫默（Guilherme Azzi）；莱昂纳多·罗德里格斯；蒂亚戈·拉斐尔·贝克尔；里卡多·加布里埃尔（Ricardo Gabriel Herdt）；罗德里戈·马查多，Verigraph:图形语法的规范和分析系统，78-94[Zbl 1396.68063号]巴勃罗·卡斯特罗。；阿吉雷，纳扎雷诺，规范细化的代数基础，112-128[Zbl 1396.68032号]圣地亚哥，Regivan H.N。；贝德雷加，本杰明；亚历山大·马德拉；曼努埃尔·马丁斯。，关于区间动态逻辑，129-144[Zbl 1396.68035号]埃夫拉伊姆·马查多（Efraim Machado）；阿琳·安德拉德，一种基于KMTS模型精化博弈的精化修复算法，161-178[Zbl 1396.68033号]Timm，零；斯特凡·格鲁纳（Stefan Gruner）；哈维，马提亚斯，并发软件系统的三值抽象的有界模型检查器，199-216[Zbl 1396.68036号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68季度xx 计算理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1330.68020号 PDF格式BibTeX公司 XML格式引用 \textit{L.Ribeiro}（编辑）和textit{T.Lecomte}（主编），形式方法：基础和应用。2016年11月23日至25日在巴西纳塔尔举行的第19届巴西研讨会，SBMF 2016。诉讼程序。查姆：斯普林格（2016；Zbl 1351.68029） 全文： 内政部