Provably Correct Systems: Community, connections, and citations.

Jonathan P. Bowen

Published in: CoRR (2015)

Keyphrases

provably correct
complex systems
computer systems
retrieval systems
data sets
artificial intelligence
formal methods
citation analysis