| 2009 | ||
|---|---|---|
| 3 | Adriana Damasceno, Adalberto Farias, Alexandre Mota: A Mechanized Strategy for Safe Abstraction of CSP Specifications. SBMF 2009: 118-133 | |
| 2 | André Didier, Adalberto Farias, Alexandre Mota: Checking Z Data Refinements Using Traces Refinement. Electr. Notes Theor. Comput. Sci. 240: 129-148 (2009) | |
| 2004 | ||
| 1 | Adalberto Farias, Alexandre Mota, Augusto Sampaio: Efficient CSPZ Data Abstraction. IFM 2004: 108-127 | |
| 1 | Adriana Damasceno | [3] |
| 2 | André Didier | [2] |
| 3 | Alexandre Mota (Alexandre Cabral Mota) | [1] [2] [3] |
| 4 | Augusto Sampaio | [1] |