1
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [E-Book] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers /
Other Personal Name(s): “...Autili, Marco...”

Full text 
Favorites
Saved in: