INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

November 2021
M T W T F S S
« Nov    
1234567
891011121314
15161718192021
22232425262728
2930  

 
  • INES at APLAS 2013 – 11th Asian Symposium on Programming Languages and Systems

    (0)
    Publicado em October 21st, 2013Uncategorized

    The paper Laws for References of the INES Researchers Giovanny Lucero and Augusto Sampaio was accepted for publishing at the 11th Asian Symposium on Programming Languages and Systems (APLAS 2013).
    The paper will be presented by Giovanny Lucero (CIn/UFPE and DCOMP/UFS), who works on the INES projects “Confiabilidade e Segurança em Software Crítico” and “Refatoramento de Programas para Migração entre Estruturas de Dados”.
    The APLAS conference will take place in Melbourne, Australia, and will be colocated with the 3rd International Conference on Certified Programs and Proofs (CPP 2013) on 9-13 December 2013.

Leave a Reply

You must be logged in to post a comment.