A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness.

Ioannis T. Kassios Eleftherios Kritikos

Published in: ESOP (2013)

Keyphrases

computer science
information systems
consistency checking
automatic discovery
software engineering
multi agent systems
web services
feature extraction
bayesian networks
pairwise
computer science education