8 results · clear filters Sort: newest oldest name

1. Formal Methods in Software Engineering (FormaliSE) (FormaliSE)
   series, 14 events, 2013 to 2026
   Computer and information sciences
   s10cqm6
2. Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019.
   2019 · Montreal, Canada
   Computer and information sciences
   e11a3xb
3. Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018 (FormaliSE@ICSE 2018)
   2018-06-02 · Gothenburg, Sweden
   Computer and information sciences
   e10fw7p
4. 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017
   2017 · Buenos Aires, Argentina
   Computer and information sciences
   e11a3wd
5. Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016
   2016 · Austin, United States
   Computer and information sciences
   e11a3vf
6. 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015
   2015 · Florence, Italy
   Computer and information sciences
   e11a3th
7. Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014
   2014 · Hyderabad, India
   Computer and information sciences
   e11a3sk
8. 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013
   2013 · San Francisco, United States
   Computer and information sciences
   e11a3rn

As JSON: https://labs.confref.org/api/search?series=s10cqm6&from=2010&to=2019