×

zbMATH — the first resource for mathematics

NEATPL - an aid to the debugging of PL/1 programs. (English. Russian original) Zbl 0419.68028
Program. Comput. Software 4, 366-371 (1978); translation from Programmirovanie 1978, No. 5, 87-93 (1978).
MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
Software:
NEATPL; PL/I
PDF BibTeX XML Cite