Normal view
MARC view
Berard, Beatrice. (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA)3283: Systems and software verification :, c2001.