INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

November 2017
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
27282930  

 
  • INES at SBMF 2011 (CBSoft)

    (0)
    Publicado em September 1st, 2011Publications

    The papers “Extending CRefine to Support Tactics of Refinement” and “Joker: An Animation Framework for Formal Specifications” were accepted for publication as short papers for the Brazilian Symposium on Formal Methods 2011. The authors Marcel Oliveira, Diego Oliveira and Madiel Filho will attend the conference to present their papers.

Leave a Reply

You must be logged in to post a comment.