INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

August 2010
M T W T F S S
« Jul   Sep »
 1
2345678
9101112131415
16171819202122
23242526272829
3031  

 
  • Presence of the INES at ISoLA 2010

    (0)
    Publicado em August 24th, 2010Uncategorized

    Professor Alexandre Cabral Mota, member of the Tests Generation, Selection, Prioritization and Processing Product Line project will present an invited paper at the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. This conference will happen on October 18 to 20 at Creete – Greece.  More information about the event is available at: http://isola-conference.org/isola2010/.