Software Verification with BLAST.

Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Grégoire Sutre

Published in: SPIN (2003)

Keyphrases

sequence alignment
search tools
database
learning algorithm
databases
feature extraction
keywords
high resolution
image registration