Proving Quicksort Correct in Event-B.

Stefan Hallerstede

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

event detection
event driven
database
news stories
event recognition
databases
news articles
temporal structure