Record Type: |
Electronic resources
: Monograph/item
|
Title/Author: |
Verified softwareedited by Akash Lal, Stefano Tonetta. |
Reminder of title: |
theories, tools and experiments : 14th International Conference, VSTTE 2022, Trento, Italy, october 17-18, 2022 : revised selected papers / |
remainder title: |
VSTTE 2022 |
other author: |
Lal, Akash. |
corporate name: |
|
Published: |
Cham :Springer International Publishing :2023. |
Description: |
viii, 167 p. :ill. (some col.), digital ;24 cm. |
Contained By: |
Springer Nature eBook |
Subject: |
Computer softwareCongresses.Verification |
Online resource: |
https://doi.org/10.1007/978-3-031-25803-9 |
ISBN: |
9783031258039$q(electronic bk.) |