Author

Stefano Tonetta

2 books found

Cover of Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch · First published 2023

Cover of Verified Software. Theories, Tools and Experiments

Verified Software. Theories, Tools and Experiments

Akash Lal, Stefano Tonetta · First published 2023