Skip to main content
documents
about archive
about project
Andrei Ershov
in Russian
Abstract
Archive
IFIP
IFIP 80 Congress
Cover Pages
Abstract
Abstract
of A.Pnueli's, N.S.Prywes' and S.Shastry's paper.
Back
