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 -