Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022 Trento, Italy, October 17–18, 2022 Revised Selected Papers PDF
176 Pages·2023·4.574 MB·English
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
The list of books you might like
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
