in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 2267 LNCS, Pages: 48-70
Conference
15Th International Workshop on Recent Trends in Algebraic Development Techniques, Wadt 2001, Joint with the Cofi Wg Meeting, Date: 1 April 2001 through 3 April 2001, Location: Genova, Sponsors: IFIP WG1.3 on Foundations of System Specification;CoFI (Common Framework Initiative), ESPRIT Working Group 29432;Universita degli Studi di Genova, DISI