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

John Patrick Gallagher (Editor), Rob van Glabbeek (Editor), Wendelin Serwe (Editor)

Research output: Book/ReportAnthologyResearchpeer-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.
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.
SeriesElectronic Proceedings in Theoretical Computer Science
Volume268
ISSN2075-2180

Workshop

WorkshopThird Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation
CountryGreece
CityThessaloniki
Period20/04/201820/04/2018

Keywords

  • Formal methods
  • Program transformation

Cite this

Gallagher, J. P., van Glabbeek, R., & Serwe, W. (Eds.) (2018). Proceedings, Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. EPTCS. Electronic Proceedings in Theoretical Computer Science, Vol.. 268, DOI: 10.4204/EPTCS.268
Gallagher, John Patrick (Editor) ; van Glabbeek, Rob (Editor) ; Serwe, Wendelin (Editor). / Proceedings, Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. EPTCS, 2018. (Electronic Proceedings in Theoretical Computer Science, ???volume??? 268).
@book{793c2036d3d4490c947cd9942ff19b23,
title = "Proceedings, Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation",
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.",
keywords = "Formal methods, Program transformation",
author = "Gallagher, {John Patrick} and {van Glabbeek}, Rob and Wendelin Serwe",
year = "2018",
month = "4",
doi = "10.4204/EPTCS.268",
language = "English",
publisher = "EPTCS",

}

Gallagher, JP, van Glabbeek, R & Serwe, W (eds) 2018, Proceedings, Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Electronic Proceedings in Theoretical Computer Science, vol. 268, EPTCS. DOI: 10.4204/EPTCS.268

Proceedings, Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. / Gallagher, John Patrick (Editor); van Glabbeek, Rob (Editor); Serwe, Wendelin (Editor).

EPTCS, 2018.

Research output: Book/ReportAnthologyResearchpeer-review

TY - BOOK

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

A2 - Gallagher,John Patrick

A2 - van Glabbeek,Rob

A2 - Serwe,Wendelin

PY - 2018/4

Y1 - 2018/4

N2 - 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.

AB - 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.

KW - Formal methods

KW - Program transformation

U2 - 10.4204/EPTCS.268

DO - 10.4204/EPTCS.268

M3 - Anthology

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

PB - EPTCS

ER -

Gallagher JP, (ed.), van Glabbeek R, (ed.), Serwe W, (ed.). Proceedings, Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. EPTCS, 2018. (Electronic Proceedings in Theoretical Computer Science, Vol. 268). Available from, DOI: 10.4204/EPTCS.268