Riesco, Adrian.
Overview
| Works: | 3 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)