埃米尔·塞克林斯基(编辑);内尔玛·莫雷拉(编辑);JoséN·奥利维拉。(编辑);丹尼尔·拉蒂乌(编辑);里卡多·吉多蒂(编辑);玛丽·法雷尔(编辑);马特·勒克库克(编辑);迭戈·马姆斯勒(编辑);JoséCampos(编辑);特洛伊州阿斯塔特(编辑);劳雷·贡诺德(编辑);安东尼奥·塞隆(编辑);路易斯·库托(编辑);布里杰什·多戈尔(编辑);马丁·库特里布(编辑);佩德罗·蒙泰罗(编辑);大卫·德尔马斯(编辑) 形式化方法。FM 2019国际研讨会。葡萄牙波尔图,2019年10月7日至11日。修订了选定的论文。第二部分。 (英语) Zbl 1499.68024号 计算机科学课堂讲稿12233.查姆:施普林格(ISBN 978-3-030-54996-1/pbk;978-3-0030-54997-8/电子书)。xvii,第575页。(2020).MSC公司:68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Sekerinski}(编辑)等人,《形式方法》。FM 2019国际研讨会。葡萄牙波尔图,2019年10月7日至11日。修订了选定的论文。第二部分。查姆:施普林格(2020;Zbl 1499.68024) 全文: DOI程序
埃米尔·塞克林斯基(编辑);内尔玛·莫雷拉(编辑);JoséN·奥利维拉。(编辑);丹尼尔·拉蒂乌(编辑);里卡多·吉多蒂(编辑);玛丽·法雷尔(编辑);马特·勒克库克(编辑);迭戈·马姆斯勒(编辑);JoséCampos(编辑);特洛伊州阿斯塔特(编辑);劳雷·贡诺德(编辑);安东尼奥·塞隆(编辑);路易斯·库托(编辑);布里杰什·多戈尔(编辑);马丁·库特里布(编辑);佩德罗·蒙泰罗(编辑);大卫·德尔马斯(编辑) 形式化方法。FM 2019国际研讨会。葡萄牙波尔图,2019年10月7日至11日。修订了选定的论文。第一部分。 (英语) Zbl 1499.68023号 计算机科学课堂讲稿12232.查姆:施普林格(ISBN 978-3-030-54993-0/pbk;978-3-0.30-54994-7/电子书)。十八、523页。(2020).MSC公司:68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Sekerinski}(编辑)等,《形式方法》。FM 2019国际研讨会。葡萄牙波尔图,2019年10月7日至11日。修订了选定的论文。第一部分查姆:施普林格(2020;Zbl 1499.68023) 全文: DOI程序