Preface

Simon Bliudze; Laura Semini

doi:10.1109/FormaliSE52586.2021.00005

Preface

Simon Bliudze
, Laura Semini

École Polytechnique

Résultats de recherche: Contribution à un journal › Éditorial

langue originale	Anglais
Pages (de - à)	VII
journal	Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021
Les DOIs	https://doi.org/10.1109/FormaliSE52586.2021.00005
état	Publié - 1 mai 2021
Evénement	9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2021 - Virtual, Online, Espagne Durée: 17 mai 2021 → 21 mai 2021

Accès au document

10.1109/FormaliSE52586.2021.00005

Contient cette citation

@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 -