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