@book{dubois:hal-01246691, TITLE = {{Second International Workshop on Formal Integrated Development Environment}}, AUTHOR = {Dubois, Catherine and Masci, Paolo and M{\'e}ry, Dominique}, URL = {https://inria.hal.science/hal-01246691}, PUBLISHER = {{EPTCS}}, SERIES = { EPTCS }, NUMBER = {187}, YEAR = {2015}, MONTH = Jun, DOI = {10.4204/EPTCS.187}, HAL_ID = {hal-01246691}, HAL_VERSION = {v1}, }