Message from the Chairs

被引：0

作者：

Gnesi, Stefania ^{[1
]}

Plat, Nico ^{[1
]}

机构：

[1] Florence, Italy

来源：

Proceedings - 3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015 | 2015年

关键词：

D O I：

10.1109/FormaliSE.2015.5

中图分类号：

学科分类号：

摘要：

引用