Κανονική προβολή
Προβολή MARC
- Margaria, Tiziana
Margaria, Tiziana (Personal Name)
Machine generated authority record.
Work cat.: (GR-PaULI)66849: Margaria, Tiziana, Leveraging Applications of Formal Methods, Verification, and Validation, 2010