Software Verification with Integrated Data Type Refinement for Integer Arithmetic.

Bernhard Beckert Steffen Schlager

Published in: IFM (2004)

Keyphrases

data types
integer arithmetic
data model
database systems
data structure
database management systems
abstract data types
data mining algorithms
database
databases
image processing
data analysis