首页>外文会议>计算机、自动化>International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Apr 10-14, 2000, Oxford, UK
International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Apr 10-14, 2000, Oxford, UK