Laboratory of Test and Analysis

The Laboratory of Test and Analysis (LTA) mainly focuses on software testing and analysis, but is active also in the area of formal methods, graph transformations and visual languages.

more...

DISCo Events Upcoming deadlines RSS upcoming deadlines
  • 2015-03-05 Infinite Games on Finite Graphs and Their Application to Verification of Concurrent Systems
  • 2015-03-06 Social + Business + Analitics = Mail?
  • 2015-03-10 Big Data e Marketing: la nuova febbre dell'oro
  • more...

    more...