VERIFIABLE PROGRAMMING - DAHI, OLE-JOHAN ([S.N] : PRENTICE HALL (3, s, 1992)
Keywords: COMPUTER PROGRM; VERIFICATION