On the Purpose of Event-B Proof Obligations.

Stefan Hallerstede

Published in: ABZ (2008)

Keyphrases

event detection
databases
information retrieval
theorem proving
search engine
information systems
news articles
temporal patterns
stream processing