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