INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

March 2023
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
2728293031  

 
  • UFCG Researcher at SBMF 2016

    (0)
    Publicado em October 13th, 2016Expenses

    Professor Tiago Massoni will attend the SBMF 2016, the main Brazilian conference on formal methods, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of formal methods.

    This activity is part of the project Refactoring Method for Data Structures — in portuguese, Refatoramento de Programas para Migração entre Estruturas de Dados.

Leave a Reply

You must be logged in to post a comment.