Foundation of program verification /

Loeckx, Jacques .

Foundation of program verification / Textual Documents Jacques Loeckx. - New Jersey : John Wiley & Sons , 1983. - NULL ; NULL.

Program verification

005.14 / LOE