Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Radu Calinescu , Corina S. Pasareanu

No ratings yet

Dec 2, 2021 · English · Kindle (991 pages)

Rate this book

Export Book Journal

Reviews

No reviews yet

Be the first to review this book and share your thoughts

Sign In to Review

Rate this book

Export Book Journal