Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

John Patrick Gallagher (Redaktør), Rob van Glabbeek (Redaktør), Wendelin Serwe (Redaktør)

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

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.
OriginalsprogEngelsk
ForlagEPTCS
DOI
StatusUdgivet - apr. 2018
BegivenhedThird Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation
- Thessaloniki, Grækenland
Varighed: 20 apr. 201820 apr. 2018
NavnElectronic Proceedings in Theoretical Computer Science
Vol/bind268
ISSN2075-2180

Workshop

WorkshopThird Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation
Land/OmrådeGrækenland
ByThessaloniki
Periode20/04/201820/04/2018
AndetMARS 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.

Citer dette