| |
| 2005 | ||
|---|---|---|
| 2 | EE | Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Towards Dynamically Communicating Abstract Machines in the B Method. ICFEM 2005: 141-155 |
| 2004 | ||
| 1 | EE | Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM 2004: 403-417 |
| 1 | Nazareno Aguirre | [1] [2] |
| 2 | Marcelo Arroyo | [2] |
| 3 | Juan Bicarregui | [1] [2] |
| 4 | T. S. E. Maibaum (Thomas Stephen Edward Maibaum) | [1] [2] |