彼得·塞巴·奥维茨基（编辑）；格温·萨拉恩（编辑） 软件工程和形式化方法。2019年9月18-20日在挪威奥斯陆举行的第17届SEFM国际会议。诉讼程序。 （英语） Zbl 1419.68015号 计算机科学课堂讲稿11724.查姆：施普林格（ISBN 978-3-030-30445-4/pbk；978-3-0.30-30446-1/电子书）。十八、550页。(2019).MSC公司：68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ùlveczky}（编辑）和\textit{G.Salaün}（主编），软件工程和形式化方法。2019年9月18日至20日在挪威奥斯陆举行的第17届SEFM国际会议。诉讼程序。查姆：斯普林格（2019；Zbl 1419.68015） 全文： 内政部
迪米特拉·吉安娜科波卢（编辑）；格温·萨拉恩（编辑） 软件工程和形式化方法。2014年9月1日至5日，法国格勒诺布尔，第12届国际会议，SEFM 2014。诉讼程序。 （英语） Zbl 1316.68012号 计算机科学课堂讲稿8702.柏林：施普林格出版社（ISBN 978-3-319-10430-0/pbk）。第二十二章，第394页。(2014).MSC公司：68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Giannakopoulou}（编辑）和\textit{G.Salaün}（主编），软件工程和形式化方法。2014年9月1-5日在法国格勒诺布尔举行的第十二届国际会议，SEFM 2014。诉讼程序。柏林：施普林格出版社（2014；Zbl 1316.68012） 全文： 内政部
格温·萨拉恩（编辑）；马尔詹·西尔贾尼（编辑） 专题：协调语言和软件架构的基础。根据2009年7月11日在希腊罗德斯举行的第八届国际研讨会（FOCLASA'09）上的演示文稿选出的论文。 （英语） Zbl 1246.68056号 科学。计算。程序。77，编号7-8，777-886（2012）。 MSC公司：68-06 00B25型 68新元 PDF格式BibTeX公司 XML格式
格温·萨拉恩（编辑）；马尔詹·西尔贾尼（编辑） 第八届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2009），希腊罗德斯，2009年7月11日。 （英语） Zbl 1281.68038号 理论计算机科学电子笔记255.阿姆斯特丹：爱思唯尔。176页。，仅电子版（2009年）。MSC公司：68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Salaün}（编辑）和\textit{M.Sirjani}（编），第八届协调语言和软件架构基础国际研讨会论文集（FOCLASA 2009），希腊罗德斯，2009年7月11日。阿姆斯特丹：Elsevier（2009；Zbl 1281.68038） 全文： 链接