FormaliSE 2017 - 5th International FME Workshop on Formal Methods in Software Enfineering

Based on the aim of the workshop, it’s goals and theme, we invite you to submit a paper (full paper or case study paper) to the workshop, and present and discuss it at the event itself. All accepted papers will be published as s an ICSE 2017 Workshop Proceedings. Research ideas are invited as well.