INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

September 2014
M T W T F S S
« Aug   Oct »
1234567
891011121314
15161718192021
22232425262728
2930  

 
  • INES at SPLASH 2014

    (0)
    Publicado em September 14th, 2014Uncategorized

    The short paper “Enhancing Conformance Checking for Contract-Based Programs” by Alysson Milanez, Tiago Massoni and Rohit Gheyi has been accepted for publication at the 2014 SPLASH CONFERENCE. The event will be held in Oct 20th – 24th, 2014 at Portland, OR, US. This activity is part of the project “Program Refactoring for Migrating between Data Structures”.