In the name of Allah the Merciful

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

10 $

English | 2023 | PDF

number
type
  • {{value}}
wait a little