Stuck-Free Conformance.

Cédric Fournet C. A. R. Hoare Sriram K. Rajamani Jakob Rehof

Published in: CAV (2004)

Keyphrases

artificial intelligence
knowledge base
expert systems
spatio temporal
xml documents
building blocks
post processing