Modeling assembly program with constraints. A contribution to WCET problem - Kafle, Bishoksan (2012)
Dissertação para obtenção do Grau de Mestre em Lógica Computacional