INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

December 2021
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
2728293031  

 
  • UFRN Researcher participates at RDP 2013

    (0)
    Publicado em August 1st, 2013Expenses

    Anamaria Martins Moreira, INES member from DIMAp/UFRN, attended one day of activities of RDP 2013 (International Conference on Rewriting Deduction and Programming), including a presentation by Simon Peyton Jones, at the Technical University of Eindhoven. This activity is part of the project “Combining Formal Methods and Testing in the Development of Real-Time Embedded Systems.

Leave a Reply

You must be logged in to post a comment.