ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

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



VenueBuenos Aires, Argentina 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