01
Verified Software. Theories, Tools and Experiments 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
The earliest high-confidence catalog date in this author overview is 2023.
Author
Stefano Tonetta
2 cataloged contributions
2023 across 1 high-confidence dated work
This record does not have a biography yet.
Know something we should add or correct? Suggest a correction.
A way in
Start with
A considered starting point for reading Stefano Tonetta, drawn from catalog context and salon activity when available.
The catalog
Bibliography
1 work
Core ranking is using the catalog’s provisional quality order while the versioned ranking population is prepared.
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0