Normal view
MARC view
- Ölveczky, Peter Csaba.
Ölveczky, Peter Csaba. (Nombre personal)
Machine generated authority record.
Work cat.: (ES-MaUEC)85577: Formal Techniques for Safety-Critical Systems :, 2016