Numeric Types in Formal Synthesis.

Viktor K. Sabelfeld Kai Kapp

Published in: Ershov Memorial Conference (2003)

Keyphrases

databases
neural network
formal model
data sets
real world
information retrieval
website
case study
three dimensional
lower bound
formal analysis
numeric data