Reviewer's Report

Archive IFIP IFIP 80 Congress Reviews of the Congress papers

Reviewer's Report

Reviewer's Report

by J.Barnes on A.Pnueli's, N.Prywes' and S.Shastry's paper.

Date:

14.02.1980

Authors:

J. G. P. Barnes

Addresse:

Andrei Petrovich Ershov

Organizations:

IFIP

People:

A. Pnueli
S. Shastry
Noah S. Prywes