Selected papers of the Refinement Workshop Turku (2008).

Eerke A. Boiten John Derrick Gerhard Schellhorn

Published in: Sci. Comput. Program. (2011)

Keyphrases

selected papers
annual conference
international workshop
computer science
conference proceedings
invited talk
review process
neural network
database
refinement process
step wise
asia pacific