INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

November 2019
M T W T F S S
« Nov    
 123
45678910
11121314151617
18192021222324
252627282930  

 
  • Prof. Márcio Lopes Cornélio will attend the Brazilian Symposium on Formal Methods – SBMF 2010

    (0)
    Publicado em October 20th, 2010Uncategorized

    Prof. Márcio Lopes Cornélio will attend the  Brazilian Symposium on
    Formal Methods – SBMF 2010 – that will be held in Natal-RN, 10-12 Nov
    2010 . The main purpose is make new contacts and meet other INES
    researchers for discussion about ongoing projects. This activity is part
    of the project “Making Program Evolution Safer”.

Leave a Reply

You must be logged in to post a comment.