Skip to main content
documents
about archive
about project
Andrei Ershov
in Russian
Text (hand-written)
Archive
IFIP
Working Conference "Program Specification and Transformation"
Text (hand-written)
Text (hand-written)
of the paper fragments translated into English
Date:
06.02.1986 - 08.02.1986
Authors:
Andrei Petrovich Ershov
Back
