Books by Stefano Tonetta

Cover of Verified Software. Theories, Tools and Experiments

Verified Software. Theories, Tools and Experiments

by Akash Lal, Stefano Tonetta

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

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

by Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch

2023

Can't find the book you're looking for? Let us know — it helps us improve.