in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 1376, Pages: 206-222 (17)
Conference
12Th International Workshop on Recent Trends in Algebraic Development Techniques (Wadt 97), Date: JUN 03-07, 1997, Location: TARQUINIA, ITALY, Sponsors: Universita Roma La Sapienza, Dipartimento Sci Informaz, CNR, Gruppo Nazl Informat Matemat, Comitato Nazionale Sci & Tecnol Informazione, Cojitato Nazionale Sci Ingegner & Arcitettura
