An Extended Static Checker for Modular-3.

K. Rustan M. Leino Greg Nelson

Published in: CC (1998)

Keyphrases

derivation rules
three dimensional
neural network
similarity measure
management system
data sets
website
image sequences
multiscale
pattern recognition
data analysis