Normal view MARC view

Program Verification (Topical Term)

Number of records used in: 8
Preferred form: Program Verification

Machine generated authority record

Work cat.: (NEDUET)743029: Antoy, Sergio 775182, Using Term Rewriting to Verify Software