in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 2267, Pages: 201-220 (20)
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
