in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 1589, Pages: 310-325 (16)
Conference
13Th International Workshop on Algebraic Development Techniques at the 1St European Joint Conferences on Theory and Practice of Software, Date: APR 02-04, 1998, Location: LISBON, PORTUGAL, Sponsors: Portugal Telecom, Tap Air Portugal, Luso Amer Dev Fdn, British Council, EU Programme Training & Mobil Researchers, Univ Lisbon, European Assoc Theoret Comp Sci, European Assoc Programming Languages & Syst, Gulbenkian Fdn, Host: GULBENKIAN FDN
