Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Brijesh Dongol; Luigia Petre; Graeme Smith

doi:10.1007/978-3-030-32441-4

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Brijesh Dongol (Editor)
, Luigia Petre (Editor)
, Graeme Smith (Editor)

Information Technology

Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

Abstract

Original language	Undefined/Unknown
Publisher	Springer Verlag
ISBN (Print)	978-3-030-32440-7
DOIs	https://doi.org/10.1007/978-3-030-32441-4
Publication status	Published - 2019
MoE publication type	C2 Edited work

Access to Document

10.1007/978-3-030-32441-4

Cite this

@book{955f8972e7c949cea6ced61e81ee2b0c,

title = "Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings",

editor = "Brijesh Dongol and Luigia Petre and Graeme Smith",

year = "2019",

doi = "10.1007/978-3-030-32441-4",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-030-32440-7",

publisher = "Springer Verlag",

}

Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. / Dongol, Brijesh (Editor); Petre, Luigia (Editor); Smith, Graeme (Editor).
Springer Verlag, 2019.

Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

TY - BOOK

T1 - Formal Methods Teaching

T2 - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

A2 - Dongol, Brijesh

A2 - Petre, Luigia

A2 - Smith, Graeme

PY - 2019

Y1 - 2019

U2 - 10.1007/978-3-030-32441-4

DO - 10.1007/978-3-030-32441-4

M3 - Antologi/redigerad tidskrift

SN - 978-3-030-32440-7

BT - Formal Methods Teaching

PB - Springer Verlag

ER -