Virtual-Library-Formal-Methods Virtual Library: Formal Methods   Science - Computer Science - Formal Methods




  • Name:

     

  • Institution:

    Virtual Library: Formal Methods

  • Position:

  • Location:

     

  • Field of Science:

    Science - Computer Science - Formal Methods

  • Website / Blog:

    www.afm.sbu.ac.uk

  • Online Status: status







    		•

    • About my Work: 


      Virtual Library: Formal Methods - Points to sites containing information on formal methods, useful for mathematically describing and reasoning about computer-based systems.
      Virtual Library online directory for formal methods and notations aimed at aiding the improved development of computer-based systems.
      Formal Methods Virtual Library

    • Projects: 


    • Vita / Publications: 


    • Grants and Awards: 


    • About my Institution: 


    • Additional Information: 


      		•

     

































     

    Powered free by PHPmotion