Formal Methods and Software Engineering
Subtitle: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Publisher: Springer
Published: 2023
Language: eng
ISBN-13: 9789819975839