INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

December 2021
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
2728293031  

 
  • INES at SBMF 2010

    (0)
    Publicado em August 25th, 2010Publications

    The paper “Synchronizing Model and Program Refactoring” has been accepted for publication, and will be presented at the Brazilian Symposium of Formal Methods. The event will be held in Natal, in early November. The authors, Tiago Massoni, Rohit Gheyi and Paulo Borba, are part of several projects within INES. The published work is within the context of the “Making Program Evolution Safer” Project.

    , ,

Leave a Reply

You must be logged in to post a comment.