Normal view
MARC view
- Nadel, Alexander
Nadel, Alexander (Personal Name)
Machine generated authority record.
Work cat.: (JGU)3087322: Nadel, Alexander edt, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023, 2023