Software Verification

13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Software Verification son 9783030955618, 3030955613 y los ISBN de versión impresa son 9783030955601, 3030955605. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Software Verification son 9783030955618, 3030955613 y los ISBN de versión impresa son 9783030955601, 3030955605. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.