Percorrer por autor Beyene, Tewodros Awgichew
Mostrar resultados 1-1 de 1.
| Data | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 2011 | Constraint-based verification of imperative programs | Beyene, Tewodros Awgichew | masterThesis | ![]() |


