F-IDE 2019

5th Workshop on Formal Integrated Development Environment
7, Oct, 2019
Porto, Portugal
Homepage: https://fideworkshop2019.inesctec.pt/Outside Link

F-IDE 2019 was held as part of the 3rd World Congress on Formal Methods (FM 2019).



CISTER's organization roles:
,
José Proença
Program Committee Co-Chair




Conference or Workshop Papers
Proceedings of the Formal-IDE 2019 - Preface CISTER-TR-200105 
Rosemary Monahan, Virgile Prevosto, José Proença5th Workshop on Formal Integrated Development Environment (F-IDE 2019). 7, Oct, 2019. Porto, Portugal.F-IDE 2019 was held as part of the 3rd World Congress on Formal Methods (FM 2019)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               

PreviousNext