ByNobleID
    Formal approaches to software testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers | NobleID