in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 3116, Pages: 506-520 (15)
Conference
10Th International Conference on Algebraic Methodology and Software Technology, Date: JUL 12-16, 2004, Location: Stirling, SCOTLAND, Sponsors: Edinburgh Mat Soc, Engn & Phys Sci Res Council, British Comp Soc, Formal Aspects Comp Sci Specialist Grp, London Math Soc