Proceedings of F-IDE@FM 2019

Rosemary Monahan, Virgile Prevosto, José Proença
January 2019
Project DOI
Type
Book
Publication
Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019
DaVinci

Related