INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

September 2015
M T W T F S S
« Aug   Oct »
 123456
78910111213
14151617181920
21222324252627
282930  

 
  • INES @ CBSoft 2015

    (0)
    Publicado em September 3rd, 2015Uncategorized

    Researcher at Cin/UFPE, Tarciana Dias da Silva, will attend the Brazilian Conference on Software: Theory and Practice (CBSOFT 2015), to present the paper entitled: “Verifying Transformations of Java programs using Alloy”. Authors: Tarciana Dias da Silva, Augusto Sampaio and Alexandre Mota. The conference will be held in Belo Horizonte, Brazil from 21st September to 25th September 2015.