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