Normal view
MARC view
- Whalen, Michael
Whalen, Michael (Personal Name)
Machine generated authority record.
Work cat.: (JGU)2987374: Piskac, Ruzica edt 1582789, Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021, 2021