A weakest precondition calculus for BUnity.

Lacramioara Astefanoaei Frank S. de Boer Mehdi Dastani John-Jules Ch. Meyer

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

Keyphrases

computer algebra
algebraic structure
database
real time
data sets
neural network
computer vision
website
multiscale
special case
relational calculus