FormaliSE 2017 - 5th International FME Workshop on Formal Methods in Software Enfineering
VenueBuenos Aires, Argentina
Topics/Call fo Papers
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.
Last modified: 2017-01-09 23:16:18