Monotonic Abstraction for Programs with Multiply-Linked Structures.

Parosh Aziz Abdulla Jonathan Cederberg Tomás Vojnar

Published in: Int. J. Found. Comput. Sci. (2013)

Keyphrases

neural network
high level
floating point
hardware designs
state space
real time
mobile robot
automatic programming