Last searches
Results for *
Displaying results 1 to 1 of 1.
-
Formal methods and software engineering
24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings