This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ
196 22 54MB
English Pages 386 Year 2023
Report DMCA / Copyright
DOWNLOAD FILE
264 55 23MB Read more
This book constitutes the refereed proceedings of the 4th International Conference on Next Generation Arithmetic, CoNGA
275 73 21MB Read more
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Hous
395 31 19MB Read more
This book constitutes the refereed proceedings of the 4th International Conference on Codes, Cryptology and Information
297 54 19MB Read more
244 108 40MB Read more
261 54 39MB Read more
303 94 18MB Read more
This book constitutes the refereed proceedings of the 20th International Conference on The Semantic Web, ESWC 2023, held
406 25 65MB Read more
This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, h
128 79 7MB Read more
This book constitutes the proceedings of the 20th International Conference on the Integration of Constraint Programming,
255 66 34MB Read more