A Proof System for Abstract Non-interference.

Roberto Giacobazzi Isabella Mastroeni

Published in: J. Log. Comput. (2010)

Keyphrases

artificial intelligence
case study
high level
low level
higher level
data sets
computer vision