in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 4409, Pages: 37-+ (4)
Conference
18Th International Workshop on Algebraic Development Techniques, Date: JUN 01-03, 2006, Location: La Roche en Ardenne, BELGIUM, Sponsors: IFIP WG 1 3, Univ Namur, Fac Univ Notre Dame Paix