Immutability specification and its applications.

Igor Pechtchanski Vivek Sarkar

Published in: Concurr. Pract. Exp. (2005)

Keyphrases

genetic algorithm
high level
decision trees
case study
conceptual model
formal verification
neural network
clustering algorithm
image segmentation
data structure
search algorithm
formal methods
ims learning design