Riesco, Adrian.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
Formal methods and software engineering23rd International Conference on Formal Engineering Methods, ICFEM 2022, Spain, October 24-27, 2022 : proceedings /
by:
(1998 :); Riesco, Adrian.; SpringerLink (Online service); Zhang, Min.
(Electronic resources)