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)

Forskningsoutput: Bok/tidskrift/rapportAntologi/redigerad tidskriftVetenskapligPeer review

Sammanfattning

OriginalspråkOdefinierat/okänt
FörlagSpringer Verlag
ISBN (tryckt)978-3-030-32440-7
DOI
StatusPublicerad - 2019
MoE-publikationstypC2 Redigerade böcker

Citera det här