Login / Signup
Result verification, code verification and computation of support values in phylogenetics.
Alexandros Stamatakis
Fernando Izquierdo-Carrasco
Published in:
Briefings Bioinform. (2011)
Keyphrases
</>
model checking
person identification
symbolic execution
formal proof
information retrieval
decision trees
face verification
test generation
database
data mining
search engine
information systems
parameter values
formal methods
formal verification