Original language | English |
---|---|
Article number | 8995664 |
Pages (from-to) | 9-12 |
Number of pages | 4 |
Journal | IT Professional |
Volume | 22 |
Issue number | 1 |
DOIs | |
Publication status | Published - 1 Jan 2020 |
Welcome to Formal Methods in Industry
Tiziana Margaria, Joseph Kiniry
Research output: Contribution to journal › Editorial