Normal view
MARC view
Zhenhua Duan, Luke Ong (Personal Name)
Machine generated authority record
Work cat.: (OSt)1626565: Zhenhua Duan, Luke Ong, Formal Methods and Software Engineering