Abstract
This volume contains the joint proceedings of MARS 2018, the third workshop on Models for Formal Analysis of Real Systems, and VPT 2018, the sixth international workshop on Verification and Program Transformation, held together on April 20, 2018 in Thessaloniki, Greece, as part of ETAPS 2018, the European Joint Conferences on Theory and Practice of Software.
Originalsprog | Engelsk |
---|
Forlag | EPTCS |
---|---|
DOI | |
Status | Udgivet - apr. 2018 |
Begivenhed | Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation - Thessaloniki, Grækenland Varighed: 20 apr. 2018 → 20 apr. 2018 |
Navn | Electronic Proceedings in Theoretical Computer Science |
---|---|
Vol/bind | 268 |
ISSN | 2075-2180 |
Workshop
Workshop | Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation |
---|---|
Land/Område | Grækenland |
By | Thessaloniki |
Periode | 20/04/2018 → 20/04/2018 |
Andet | MARS 2018, the third workshop on Models for Formal Analysis of Real Systems, and VPT 2018, the sixth international workshop on Verification and Program Transformation, held together on April 20, 2018 in Thessaloniki, Greece, as part of ETAPS 2018, the European Joint Conferences on Theory and Practice of Software. |