Marcelo Arroyo

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

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