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 (Redaktör), Luigia Petre (Redaktör), Graeme Smith (Redaktör)

Informationsteknologi

Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

Sammanfattning

Originalspråk	Odefinierat/okänt
Förlag	Springer Verlag
ISBN (tryckt)	978-3-030-32440-7
DOI	https://doi.org/10.1007/978-3-030-32441-4
Status	Publicerad - 2019
MoE-publikationstyp	C2 Redigerat verk

Åtkomst av dokument

10.1007/978-3-030-32441-4

Citera det här

@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 (Redaktör); Petre, Luigia (Redaktör); Smith, Graeme (Redaktör).
Springer Verlag, 2019.

Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › 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 -