INES - National Institute of Science and Technology for Software Engineering

RSS feed
´╗┐

Calendar

January 2018
M T W T F S S
« Nov    
1234567
891011121314
15161718192021
22232425262728
293031  

 
  • 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.