Reversing Abstract Interpretations.

John Hughes John Launchbury

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

Keyphrases

databases
database
website
high level
support vector
expert systems
higher level
state machines