Repository | Serials | Journal | Volumes
1122-1151 (print)
1572-8390 (online)
Springer
R. A. Ferrario and Viola Schiaffonati, Formal methods and empirical practices
Raffaella Campaner
Volume
Title
Author
