ISBN 3030921239 books & textbook
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings (Theoretical Computer Science and General Issues)
Calinescu, Radu Păsăreanu, Corina S.
Springer /2021-12-03 Paperback / 540 Pages
isbn-10: 3030921239 / isbn-13: 9783030921231
