home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by prof. K Sere

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

prof. K Sere

• contact information
• my technical reports
• former member of group software technology

some publications

Sere, K. (1991). Mechanising proofs of program transformaton rules. (RUU-CS91-11 ). Utrecht.

Sere, K. (1991). Stepwise refinement of reactive processor farms. (RUU-CS91-17 ). Utrecht.

Back, N.K.T. & Sere, K. (1991). Superposition refinement of parallel algorithms. (RUU-CS91-34 ). Utrecht.