NB: Vi starter friskt med ¡­

NB: Vi starter friskt med ?pning av DBSEM 24 august, med den japanske professoren Kokichi FUTATSUGI, som vil forlese om CafeOBJ. Meget spennende for de av dere som er opptatt av termomskrivning, Maude og teorembevising. Vel m?tt! Kokichi FUTATSUGI har jobbet sammen med Jose Mesuguer og de andre forskerne ved SRI.