> Multivolume work
-
2:
Leveraging applications of formal methods, verification, and validation Pt. 2 Tiziana Margaria ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 20XX-
-
1:
Leveraging applications of formal methods, verification, and validation Pt. 1 Tiziana Margaria ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 20XX-