TY  - BOOK
AU  - Beyene
TI  - Constraint-based verification of imperative programs
PY  - 2011///
CY  - Monte de Caparica
PB  - T. A. B.
KW  - Lógica computacional
KW  - Teses
KW  - QA76.63
UR  - http://run.unl.pt/handle/10362/7965
ER  -