by Corina S. Pasareanu (Editor), Radu Calinescu (Editor)
Format: Paperback
Pages: 537
Edition: 1st ed. 2021
Publisher: Springer
Published: 03 Dec 2021
ISBN 10: 3030921239
ISBN 13: 9783030921231