Large Scale Genetic Identity Inference Using Symbolic Model Checking
Mark Alan Junho Song
Sergio Vale Aguiar Campos
C. Cota
Rodrigo Gomes