PakCat catalogue record An introduction to formal program verification By Mili, Ali Bibliographic details PublisherVan Nostrand Reinhold Publication placeNew York Publication year1985 LanguageEnglish Material typeBook Physical descriptionxii, 291 p. SubjectsComputer programs - Verification