Welcome to Formal Methods in Industry

Research output: Contribution to journal › Editorial

Access to Document

@article{2360937eff994d83958bd301d20238d0,

title = "Welcome to Formal Methods in Industry",

author = "Tiziana Margaria and Joseph Kiniry",

year = "2020",

month = jan,

day = "1",

doi = "10.1109/MITP.2020.2968715",

language = "English",

volume = "22",

pages = "9--12",

journal = "IT Professional",

issn = "1520-9202",

number = "1",

}

TY - JOUR

T1 - Welcome to Formal Methods in Industry

AU - Margaria, Tiziana

AU - Kiniry, Joseph

PY - 2020/1/1

Y1 - 2020/1/1

UR - https://www.scopus.com/pages/publications/85079783412

U2 - 10.1109/MITP.2020.2968715

DO - 10.1109/MITP.2020.2968715

M3 - Editorial

AN - SCOPUS:85079783412

SN - 1520-9202

VL - 22

SP - 9

EP - 12

JO - IT Professional

JF - IT Professional

IS - 1

M1 - 8995664

ER -