Reactivising Classical B.

Steve Dunne Frank Zeyda

Published in: ASM (2010)

Keyphrases

real time
web services
data sets
databases
genetic algorithm
social networks
computer vision
three dimensional
special case
classical methods