Software engineering and formal methods : 19th International Conference, SEFM 2021, Virtual event, December 6-10, 2021, Proceedings /

Corporate Authors: International Conference on Software Engineering and Formal Methods Online)
Group Author: Calinescu, Radu C., 1968-; Păsăreanu, Corina S.
Published: Springer,
Publication Dates: [2021]
Call Number: TP31-532/I614/2021