Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Full text!
Format:
e-book
Title:
Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Author:
Li, Yi.; Tahar, Sofiène
Language:
English
Publisher:
Singapore Springer Singapore Pte. Limited 2023
ISBN:
981-9975-83-2
981-9975-84-0
Permalink:
http://bibtest.howest.be/catalog/ebk03:28804788100041?locale=en