Normal view
MARC view
MS-Computer Science (Personal Name)
Machine generated authority record.
Work cat.: (NUST)13392: Innayatullah 98562, Integration of ASM with event-B RODIN/, 2015