INES - National Institute of Science and Technology for Software Engineering

RSS feed
´╗┐

Calendar

November 2017
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
27282930  

 
  • INES implements undergraduate studentship

    (0)
    Publicado em February 26th, 2013Uncategorized

    Undergraduate student Carlos Adriano Beserra da Silva is being hired by INES to work in a project to develop a symbolic model checker based on the Microsoft Research technology known as FORMULA.

Leave a Reply

You must be logged in to post a comment.