A Floating-Point Numbers Theory for Event-B

von Ait-Sadoune, Idir
Veröffentlicht in International Conference on Model and Data Engineering (12. : 2023 : Sousse) Model and data engineering (2024)

Advances in model and data engineering in the digitalization era : MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21-24, 2022 : proceedings

Veröffentlicht 2022