F-IDE 2019
5th Workshop on Formal Integrated Development EnvironmentPorto, Portugal
Homepage: https://fideworkshop2019.inesctec.pt/
F-IDE 2019 was held as part of the 3rd World Congress on Formal Methods (FM 2019).
CISTER's organization roles:
José ProençaConference or Workshop Papers/Talks
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)
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)