Normal view
MARC view
Berg, H.K (Personal Name)
Used for/see from:
- Berg, HK
See also:
Machine generated authority record
Work cat.: (ISURu)138977: Berg, H.K, Formal methods of program verification and specification, 1982