عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
ebl202223054
eng
Software engineering and formal methods :
:15, 2020, revised selected papers /-CPS, Amsterdam, The Netherlands, September 14-SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim
Springer,
, 2021.
e
Software engineering ; Congresses. ;
Cleophas, Loek, ; editor. ;
old catalog
