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)

Tutkimustuotos: Kirja/lehti/raporttiAntologia/toimitettu lehtiTieteellinenvertaisarvioitu

Abstrakti

AlkuperäiskieliEi tiedossa
KustantajaSpringer Verlag
ISBN (painettu)978-3-030-32440-7
DOI - pysyväislinkit
TilaJulkaistu - 2019
OKM-julkaisutyyppiC3 Toimitetut kirjat

Viittausmuodot