Using ABC To Prototype VDM Specifications.

Aaron Kans Clive Hayton

Published in: ACM SIGPLAN Notices (1994)

Keyphrases

high level
artificial bee colony algorithm
database
finite state machines
databases
neural network
data mining
artificial intelligence
formal specification
control flow
artificial bee colony