Normal view
MARC view
Marieke Huisman, Corina P?s?reanu, Naijun Zhan (Personal Name)
Machine generated authority record
Work cat.: (OSt)1659306: Marieke Huisman, Corina P?s?reanu, Naijun Zhan, Formal Methods