Yazar
Stefano Tonetta
2 cilt bulundu.
Cilt sonuçları
Verified Software. Theories, Tools and Experiments
Akash Lal, Stefano Tonetta · Springer International Publishing AG
Sayfa sayısı yok · 2023
Kategori yok
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops
Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch · Springer
Sayfa sayısı yok · 2023
Kategori yok