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

Leave a Reply

You must be logged in to post a comment.