×

CCSP: A formal system for distributed program debugging. (English. Russian original) Zbl 0925.68074

Program. Comput. Softw. 21, No. 1, 45-50 (1995); translation from Programmirovanie 1995, No. 1, 63-70 (1995).

MSC:

68N01 General topics in the theory of software

Software:

CCSP
PDFBibTeX XMLCite