in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 5502, Pages: 285-300 (16)
Conference
15Th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Held at Joint European Conferences on Theory and Practice of Software, Date: MAR 22-29, 2009, Location: York, ENGLAND, Sponsors: European Assoc Theoret Comp Sci, European Assoc Programming Language & Syst, European Assoc Software Sci & Technol, ERICM, Microsoft Res, Rolls Royce, Host: Univ York
