INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

November 2021
M T W T F S S
« Nov    
1234567
891011121314
15161718192021
22232425262728
2930  

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