Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 2 hakutulosta
Formal Methods. FM 2019 International Workshops
e-kirja,
2020,
englanti,
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 …
Formal Methods. FM 2019 International Workshops
e-kirja,
2020,
englanti,
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 …