in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 2267, Páginas: 48-70 (23)
Conference
15Th International Workshop on Algebraic Development Techniques/General Workshop of the Esprit Working Group Cofi, Date: APR 01-03, 2001, Location: GENOA, ITALY, Patrocinadores: ESPRIT Working Grp, Common Framework Initiat, Univ Delgli Stud Genova, IFIP
