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