Skip to main content
documents
about archive
about project
Andrei Ershov
in Russian
Reviewer's Report
Archive
IFIP
IFIP 80 Congress
Reviews of the Congress papers
Reviewer's Report
Reviewer's Report
by H.Langmaack on P.Folkjaer's and D.Bjorner's paper.
Date:
24.01.1980
Authors:
Hans Langmaack
Addresse:
Andrei Petrovich Ershov
Organizations:
IFIP
People:
Dines Bjorner
P. Folkjaer
Back