TY  - RPRT
TI  - Proceedings 4th Workshop on Formal Integrated Development Environment
AU  - Paolo Masci
AU  - Rosemary Monahan
AU  - Virgile Prevosto
PY  - 2018
DO  - 10.4204/eptcs.284
UR  - https://arxiv.org/abs/1811.09014
ID  - 1811.09014
ER  -