Formal JVM Code Analysis in JavaFAN.

Azadeh Farzan José Meseguer Grigore Rosu

Published in: AMAST (2004)

Keyphrases

neural network
high level
multiscale
data analysis
image analysis
data mining
multi agent
natural language
statistical analysis
quantitative analysis
formal model
formal analysis