BUY A FULL ACCESS ACCOUNT AND ENJOY UNLIMITED DOWNLOADS! CONTACT US TO GET YOUR ACCOUNT.

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022 Trento, Italy, October 17–18, 2022 Revised Selected Papers

Akash Lal, Stefano Tonetta, 9783031258022, 9783031258039