Normal view
MARC view
Molnár, Vince (Personal Name)
Machine generated authority record
Work cat.: (AT-ISTA)657150: Brazilian Symposium on Formal Methods (25th : 2022 : Online) 977482, Formal methods :, 2023.