Marcelo Arroyo

List of publications from the DBLP Bibliography Server - FAQ

2005

1 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

2005
1	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

Coauthor Index

1	Nazareno Aguirre	[1]
2	Juan Bicarregui	[1]
3	Lucio Guzmán	[1]
4	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[1]