| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 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 |
Selection of 1 from 1 records - Marcelo Arroyo has 4 coauthors
Copyright © 2010-01-07 by Michael Ley (ley@uni-trier.de)