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 (Toimittaja), Luigia Petre (Toimittaja), Graeme Smith (Toimittaja)

Informaatioteknologia

Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

Abstrakti

Alkuperäiskieli	Ei tiedossa
Kustantaja	Springer Verlag
ISBN (painettu)	978-3-030-32440-7
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-030-32441-4
Tila	Julkaistu - 2019
OKM-julkaisutyyppi	C2 Toimitettu teos

Pääsy asiakirjaan

10.1007/978-3-030-32441-4

Viittausmuodot

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

Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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 -