Normal view
MARC view
- Lamprecht, Anna-Lena
Lamprecht, Anna-Lena (Nombre personal)
Machine generated authority record.
Work cat.: (ES-MaUEC)88266: Leveraging aplications of formal methods, verification, and validation :, 2016