Industrial Strength Formal Using Abstractions.

Ashish Darbari Iain Singleton

Published in: CoRR (2016)

Keyphrases

industrial strength
text mining
high level
database
formal methods
formal analysis
search engine
computer vision
information technology
abstract data types