Proceedings – Workshop on Algebraic Development Techniques, WADT'06

J. Fiadeiro, P.-Y. Schobbens

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4409 LNCS
Publication statusPublished - 1 Jan 2007

Cite this