in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 3785, Pages: 450-464 (15)
Conference
7Th International Conference on Formal Methods and Software Engineering, Date: NOV 01-04, 2005, Location: Manchester, ENGLAND, Sponsors: Microsoft Res, Software Engineers Assoc Japan, Univ Manchester, Manchester City Council, Formal Methods Europe, British Comp Soc Formal Aspects Comp Specialist Grp