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

Leave a Reply

You must be logged in to post a comment.