University of Oslo(435)
Country:
Norway
Org type:
Academic
part of :
Languages:
ABEL (1979)
OO Language with specification semantics