Normal view
MARC view
PROOFS (Topical Term)
Machine generated authority record
Work cat.: (ISURu)138977: Berg, H.K 196511, Formal methods of program verification and specification, 1982