The Spec# Programming System: An Overview.

Mike Barnett K. Rustan M. Leino Wolfram Schulte

Published in: CASSIS (2004)

Keyphrases

programming language
neural network
data structure
detailed discussion
databases
real world
learning algorithm
image segmentation
similarity measure
evolutionary algorithm
object oriented
programming environment
programming concepts
benchmark suite