2 works on record
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Engineering of Digital Twins