Åbo Akademi. Institutionen för informationsbehandling

name

• Åbo Akademi. Institutionen för informationsbehandling

Authored works

• 5-year report 1984-1989
• Annual report 1994
• Annual report 1995
• Annual report 1996
• Annual report 1997
• Annual report 1998
• Annual report 1999
• List of publications 1984-1989 (incl. abstracts)
• Åbo akademi, Department of Computer Science : Annual report 1989,1990

Works contributed to

• A lattice-theoretical basis for program refinement

Works about Åbo Akademi. Institutionen för informationsbehandling