Normal view
MARC view
Li, Yi (Personal Name)
Machine generated authority record.
Work cat.: (NLI)1612013: Formal Methods and Software Engineering, 2023.
