in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 1589, Páginas: 293-309 (17)
Conference
13Th International Workshop on Algebraic Development Techiniques at the 1St European Joint Conferences on Theory and Practice of Software, Date: APR 02-04, 1998, Location: LISBON, PORTUGAL, Patrocinadores: Portugal Telecom, Tap Air Portugal, Laso_Amer Dev Fdn, British Council, EU Programme Training & Morbil Researchers, Univ Lisbon, European Assoc Theoret Comp Sci, European Assoc Programming Languages & Syst, Gulbenkian Fdn, Host: GULBENKIAN FDN
