INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

June 2012
M T W T F S S
« May   Jul »
 123
45678910
11121314151617
18192021222324
252627282930  

 
  • INES @ SEFM 2012

    (0)
    Publicado em June 15th, 2012Uncategorized

    INES researchers members from the project Trust and Safety of Critical System had an accepted paper at the 10th International Conference on Software Engineering and Formal Methods (SEFM 2012) with the paper “Implementing Tactics of Refinement in CRefine” by Madiel Filho and Marcel Oliveira.