INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

July 2019
M T W T F S S
« Nov    
1234567
891011121314
15161718192021
22232425262728
293031  

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