PakCat catalogue record

Proving programs correct

By Anderson, Robert Brockett

Bibliographic details

Subjects

Computer programs, Debugging in computer science.