236 98 54MB
English Pages 386 Year 2023
Report DMCA / Copyright
DOWNLOAD EPUB FILE
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ
172 117 23MB Read more
This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ
103 8 23MB Read more
This book constitutes the refereed proceedings of the 4th International Conference on Next Generation Arithmetic, CoNGA
175 35 21MB Read more
107 38 37MB Read more
124 60 28MB Read more
This book constitutes the refereed proceedings of the 4th International Conference on Codes, Cryptology and Information
162 15 19MB Read more
167 90 18MB Read more
160 89 39MB Read more
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Hous
165 16 19MB Read more
164 69 40MB Read more