| |
| 2007 | ||
|---|---|---|
| 2 | EE | Fabricio Chalub, Christiano Braga: Maude MSOS Tool. Electr. Notes Theor. Comput. Sci. 176(4): 133-146 (2007) |
| 2004 | ||
| 1 | EE | Fabricio Chalub, Christiano Braga: A Modular Rewriting Semantics for CML. J. UCS 10(7): 789-807 (2004) |
| 1 | Christiano Braga (Christiano de O. Braga) | [1] [2] |