عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
ebl202221355
eng
Software engineering and formal methods :
:10, 2021, Proceedings /-19th International Conference, SEFM 2021, Virtual event, December 6
Springer,
, 2021.
e
Software engineering ; Congresses. ;
; -Calinescu, Radu C., ; 1968
old catalog
