GamaSlicer: an online laboratory for program verification and analysis.

Daniela Carneiro da Cruz Pedro Rangel Henriques Jorge Sousa Pinto

Published in: LDTA (2010)

Keyphrases

image analysis
real time
wide range
online learning
automatic analysis
social networks
information systems
information technology
quantitative analysis