Presents the introductory welcome message from the conference proceedings. May include the conference officers´ congratulations to all involved with the conference event and publication of the proceedings record.
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Formal Methods in Software Engineering (FormaliSE), 2015 IEEE/ACM 3rd FME Workshop on
