Preface

Simon Bliudze; Laura Semini

doi:10.1109/FormaliSE52586.2021.00005

Preface

Simon Bliudze
, Laura Semini

École Polytechnique

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	VII
Journal	Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021
DOIs	https://doi.org/10.1109/FormaliSE52586.2021.00005
Publication status	Published - 1 May 2021
Event	9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2021 - Virtual, Online, Spain Duration: 17 May 2021 → 21 May 2021

Access to Document

10.1109/FormaliSE52586.2021.00005

Cite this

@article{24b525a065a14d2fad0043fe2c031173,

title = "Preface",

author = "Simon Bliudze and Laura Semini",

year = "2021",

month = may,

day = "1",

doi = "10.1109/FormaliSE52586.2021.00005",

language = "English",

pages = "VII",

journal = "Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021",

note = "9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2021 ; Conference date: 17-05-2021 Through 21-05-2021",

}

TY - JOUR

T1 - Preface

AU - Bliudze, Simon

AU - Semini, Laura

PY - 2021/5/1

Y1 - 2021/5/1

U2 - 10.1109/FormaliSE52586.2021.00005

DO - 10.1109/FormaliSE52586.2021.00005

M3 - Editorial

AN - SCOPUS:85114453152

SP - VII

JO - Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021

JF - Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021

T2 - 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2021

Y2 - 17 May 2021 through 21 May 2021

ER -