in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 1837, Pages: V
Conference
5Th International Conference on Mathematics of Program Construction, Mpc 2000, Date: 3 July 2000 through 5 July 2000, Sponsors: Adega Cooperativa;Andersen Consulting;Camara Municipal;Enabler;et al;Universidade do Minho
