Filter
Søkt på: Søkeresultat
Filter
totalt 2 treff
Formal Methods. FM 2019 International Workshops
e-bok,
2020,
Engelsk,
ISBN 9783030549947
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This …
Formal Methods. FM 2019 International Workshops
e-bok,
2020,
Engelsk,
ISBN 9783030549978
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This …