亚历山德罗·西马蒂（编辑）;马尔詹·西尔贾尼（编辑） 软件工程和形式化方法。2017年9月4日至8日在意大利特伦托举行的2017年SEFM第15届国际会议。诉讼程序。 （英语） Zbl 1369.68017号 计算机科学课堂讲稿10469.查姆：施普林格（ISBN 978-3-319-66196-4/pbk；978-3-3169-66197-1/电子书）。xix，410页。(2017).MSC公司：68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}（编辑）和\textit{M.Sirjani}（主编），软件工程和形式化方法。2017年9月4-8日在意大利特伦托举行的2017年SEFM第15届国际会议。诉讼程序。查姆：斯普林格（2017；Zbl 1369.68017） 全文： 内政部
亚历山德罗·西马蒂（编辑）;罗伯托·塞巴斯蒂亚尼（编辑） 满意度测试的理论和应用——2012年SAT。第15届国际会议，意大利特伦托，2012年6月17日至20日。诉讼程序。 （英语） Zbl 1268.68009号 计算机科学课堂讲稿7317.柏林：施普林格出版社（ISBN 978-3-642-31611-1/pbk）。xiii，504页。(2012).MSC公司：68-06 65年第68季度 68T20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Cimatti｝（编辑）和\textit｛R.Sebastiani｝（编辑），可满足性测试的理论和应用——SAT 2012。第15届国际会议，意大利特伦托，2012年6月17日至20日。诉讼程序。柏林：施普林格出版社（2012；Zbl 1268.68009） 全文： 内政部
亚历山德罗·阿曼多（编辑）;亚历山德罗·西马蒂（编辑） 第三届自动推理决策程序语用学研讨会论文集（PDPAR 2005），英国爱丁堡，2005年7月12日。 （英语） Zbl 1272.68005号 理论计算机科学电子笔记第144页，第2页。阿姆斯特丹：爱思唯尔。第91页。，仅电子版（2006年）。MSC公司：68-06 03B35型 68吨15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}（ed.）和textit{A.Cimatti}（edi.），第三届自动推理决策程序语用研讨会论文集（PDPAR 2005），英国爱丁堡，2005年7月12日。阿姆斯特丹：Elsevier（2006；Zbl 1272.68005） 全文： 链接
马可·贝尔纳多（编辑）;亚历山德罗·西马蒂（编辑） 硬件验证的形式化方法。第六届计算机、通信和软件系统正式设计方法国际学校，2006年SFM，意大利贝蒂诺罗，2006年5月22日至27日。高级讲座。 （英语） Zbl 1102.68003号 计算机科学课堂讲稿3965.柏林：施普林格出版社（ISBN 3-540-34304-0/pbk）。vii，243页。(2006).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}（编辑）和\textit{A.Cimatti}（编），硬件验证的形式化方法。第六届计算机、通信和软件系统正式设计方法国际学校，2006年SFM，意大利贝蒂诺罗，2006年5月22日至27日。高级讲座。柏林：施普林格出版社（2006；Zbl 1102.68003） 全文： 内政部
亚历山德罗·西马蒂（编辑）;奥尔纳·格伦伯格（编辑） 作为第二届联邦逻辑会议（FLoC’99）的一部分，第一届符号模型检查国际研讨会（SMC’99年）会议记录。意大利特伦托，1999年7月6日。 （英语） Zbl 0920.00044号 理论计算机科学电子笔记. 23,2. 阿姆斯特丹：Elsevier，9篇论文（电子版）（1999年）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}（编辑）和textit{O.Grumberg}（编），符号模型检查第一届国际研讨会会议记录（SMC’99），作为第二届联邦逻辑会议（FLoC’99年）的一部分。意大利特伦托，1999年7月6日。阿姆斯特丹：爱思唯尔（1999年；Zbl 0920.000044）