Normal view
MARC view
- Perry, Douglas L, Foster, Harry D
Perry, Douglas L, Foster, Harry D (Personal Name)
Machine generated authority record.
Work cat.: (NUST): Perry, Douglas L, Foster, Harry D, Applied formal verification, 2005