Türler
Yazarlar
Boyutlar (düzenle)
Basım tarihi
Ders Kitapları
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science (12232), Band 12232)
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium