Preface

Rosemary Monahan, Virgile Prevosto, José Proença

Research output: Contribution to journal › Editorial

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	310
DOIs	https://doi.org/10.4204/EPTCS.310
Publication status	Published - 23 Dec 2019
Externally published	Yes
Event	5th Workshop on Formal Integrated Development Environment, F-IDE 2019 - Porto, Portugal Duration: 7 Oct 2019 → …

Access to Document

@article{b6d7b80c45dc4bafa0bf123fce41eb2c,

title = "Preface",

author = "Rosemary Monahan and Virgile Prevosto and Jos{\'e} Proen{\c c}a",

year = "2019",

month = dec,

day = "23",

doi = "10.4204/EPTCS.310",

language = "English",

volume = "310",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

note = "5th Workshop on Formal Integrated Development Environment, F-IDE 2019 ; Conference date: 07-10-2019",

}

TY - JOUR

T1 - Preface

AU - Monahan, Rosemary

AU - Prevosto, Virgile

AU - Proença, José

PY - 2019/12/23

Y1 - 2019/12/23

U2 - 10.4204/EPTCS.310

DO - 10.4204/EPTCS.310

M3 - Editorial

AN - SCOPUS:85079289212

SN - 2075-2180

VL - 310

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 5th Workshop on Formal Integrated Development Environment, F-IDE 2019

Y2 - 7 October 2019

ER -