GDPA  
Index for tools/publications on formal methods  

Development Phases: Reverse Engineering

Contents  
  • Projects/Tools
  • Publications
  • See also

    • Publications

    2000:
    /Muller, 2000/ Reverse Engineering: A Roadmap

    Projects/Tools

    Maintainer's Assistant

    See also

    Index for tools/publications on formal methods

    GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster